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
tree98e6597c30943b8a2dce0fbcb0f5b762bc62ecb3
parent9eeb750eefe9edf615cad5b05bff92fb0edf318b
use synthetic homotopy theory to get a function on numbers
examples/torus.ctt