]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9eeb750) | patch
use synthetic homotopy theory to get a function on numbers
authorDan Licata <drl@cs.cmu.edu>
Sat, 2 May 2015 14:45:22 +0000 (10:45 -0400)
committerDan Licata <drl@cs.cmu.edu>
Sat, 2 May 2015 14:45:22 +0000 (10:45 -0400)
commit0ab6ea2436be353028d08d416053052f2fe69a40
tree98e6597c30943b8a2dce0fbcb0f5b762bc62ecb3tree | snapshot
parent9eeb750eefe9edf615cad5b05bff92fb0edf318bcommit | diff
use synthetic homotopy theory to get a function on numbers
examples/torus.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.