]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 067cdbd) | patch
more efficient version of groupoid truncation
authorcoquand <coquand@chalmers.se>
Wed, 29 Apr 2015 07:50:57 +0000 (09:50 +0200)
committercoquand <coquand@chalmers.se>
Wed, 29 Apr 2015 07:50:57 +0000 (09:50 +0200)
commit48b40fcc053d14fd63d204083eef6b062a14b609
tree27088c29c9220b632cf3257b61441d4eaf694cfetree | snapshot
parent067cdbd1b95ac6968bd08e5dc48ff2a93619981dcommit | diff
more efficient version of groupoid truncation
examples/groupoidTrunc.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.