projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1400bae) | patch
added imports and changed collection.ctt (corrUniv B A)
authorGeorgy Dunaev <georgedunaev@gmail.com>
Sun, 6 Mar 2016 09:06:12 +0000 (12:06 +0300)
committerGeorgy Dunaev <georgedunaev@gmail.com>
Sun, 6 Mar 2016 09:06:12 +0000 (12:06 +0300)
commit6bbb70cdb272410de1ee3a85000aae262c4a9959
tree15b91d8d55938749ccfa2f2a057e364fdbf5d862tree | snapshot
parent1400bae1262d8488f696a4bfc95b1292d01b8311commit | diff
added imports and changed collection.ctt (corrUniv B A)
examples/collection.ctt diff | blob | blame | history
examples/groupoidTrunc.ctt diff | blob | blame | history
examples/hnat.ctt diff | blob | blame | history
examples/int.ctt diff | blob | blame | history
examples/interval.ctt diff | blob | blame | history
examples/pi.ctt diff | blob | blame | history
examples/prop.ctt diff | blob | blame | history
examples/sigma.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.