projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0237f5) | patch
rename sig to Sigma and make setquot compile
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Jan 2016 15:33:23 +0000 (10:33 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Jan 2016 15:33:23 +0000 (10:33 -0500)
commitce9c32564146d174c10993a119556a397a1ee18b
tree60ee7b6e06cf7c634dc273ce5bff520f6a7a960etree | snapshot
parentc0237f5181741e9181cb2b70c049c42e219e082ccommit | diff
rename sig to Sigma and make setquot compile
examples/prelude.ctt diff | blob | blame | history
examples/setquot.ctt diff | blob | blame | history
examples/sigma.ctt diff | blob | blame | history
examples/univalence.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.