projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 225c995) | patch
proof that S1 is a groupoid
authorThierry Coquand <coquand@dhcp-180153.eduroam.chalmers.se>
Fri, 1 Apr 2016 10:22:28 +0000 (12:22 +0200)
committerThierry Coquand <coquand@dhcp-180153.eduroam.chalmers.se>
Fri, 1 Apr 2016 10:22:28 +0000 (12:22 +0200)
commit6968336e0087b6de55e4e2fd23e70b15f0efd03e
treeaeeda11052346369602167ea84eae49465475086tree | snapshot
parent225c995006bf7465036e53288e2bb846572326facommit | diff
proof that S1 is a groupoid
examples/helix.ctt [new file with mode: 0644] blob
examples/prelude.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.