projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9c863e) | patch
a lot of comments
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 20 Oct 2016 21:47:04 +0000 (17:47 -0400)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 20 Oct 2016 21:47:04 +0000 (17:47 -0400)
commit9c8123c53fdabcf66d3db7feb4ab192f4b45ce7d
tree43c249e278187ece08a0b54ae60d801de351a49btree | snapshot
parentd9c863e94a1692c6d6301c9b935770ef85e7ba26commit | diff
a lot of comments
examples/discor.ctt diff | blob | blame | history
examples/groupoidTrunc.ctt diff | blob | blame | history
examples/hedberg.ctt diff | blob | blame | history
examples/helix.ctt diff | blob | blame | history
examples/hnat.ctt diff | blob | blame | history
examples/idtypes.ctt diff | blob | blame | history
examples/int.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.