projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 555527f) | patch
the collection of sets is a groupoid
authorcoquand <coquand@chalmers.se>
Thu, 30 Apr 2015 08:30:52 +0000 (10:30 +0200)
committercoquand <coquand@chalmers.se>
Thu, 30 Apr 2015 08:30:52 +0000 (10:30 +0200)
commit965cc99c0539aeb52957a17314ee339c09b8ac1f
tree58320d8b84af6c39dedca67b3dab71e89fe8eae2tree | snapshot
parent555527f1ae0bd534c2ca8c8982b579cc2aa42094commit | diff
the collection of sets is a groupoid
examples/collection.ctt [new file with mode: 0644] blob
examples/pi.ctt [new file with mode: 0644] blob
examples/sigma.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.