use synthetic homotopy theory to get a function on numbers
authorDan Licata <drl@cs.cmu.edu>
Sat, 2 May 2015 14:45:09 +0000 (10:45 -0400)
committerDan Licata <drl@cs.cmu.edu>
Sat, 2 May 2015 14:45:09 +0000 (10:45 -0400)
commit9eeb750eefe9edf615cad5b05bff92fb0edf318b
treeaf02efaad166a18eff1d4893b4e540027f39d400
parentdd84f8b4ffeb994962ed8fc293fc5c9de5ee7739
use synthetic homotopy theory to get a function on numbers
examples/mystery.ctt [new file with mode: 0644]