]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd124da) | patch
Isomorphism of the direct and the susp definition of S2
authorAnders <mortberg@chalmers.se>
Tue, 12 May 2015 08:54:16 +0000 (10:54 +0200)
committerAnders <mortberg@chalmers.se>
Tue, 12 May 2015 08:54:16 +0000 (10:54 +0200)
commita59e63c84670f1686b7538569e86f9d5e69e024b
tree79f3855a31d8dc958b564558a552b3262bd3fdaatree | snapshot
parentfd124da780ddf5eb6306f014f58fa9aec3b2f220commit | diff
Isomorphism of the direct and the susp definition of S2
examples/s2.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.