projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a148403) | patch
Start defining integers as a HIT and proving that they are a set
authorAnders Mörtberg <mortberg@chalmers.se>
Tue, 14 Apr 2015 20:19:49 +0000 (22:19 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Tue, 14 Apr 2015 20:19:49 +0000 (22:19 +0200)
commit4c15428ba96acdc47fc2e1349e1aebcd0a3c36fc
treed32e3d9ba5b0b84036da9b1f9e94988833ae3b5ctree | snapshot
parenta1484035452835bd826609f7025469e460ad6810commit | diff
Start defining integers as a HIT and proving that they are a set
examples/int.ctt diff | blob | blame | history
examples/integer.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.