Mercurial > repo

view wisdom/cofridge logic @ 10936:cceb2e50187a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<shachaf> learn QC is Quantum Computing.
author HackBot
date Sat, 20 May 2017 10:43:52 +0000
parents 984ed31f89fb
children
line wrap: on
line source

Cofridge logic is the new HoTT stuff.