projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 452d973) | patch
define pointed maps, and prove some equivalences between types involving pointed...
authorFloris van Doorn <fpv@andrew.cmu.edu>
Mon, 20 Aug 2018 21:23:31 +0000 (23:23 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Sun, 16 Sep 2018 19:33:08 +0000 (21:33 +0200)
commitf54278f19f8cde3b45b278c931a52e890554cf1e
tree2d59daf44b3a6a3b3a2b4949c0f5cc77788889cftree | snapshot
parent452d973fae544861090fbdea51f4f5da653fb394commit | diff
define pointed maps, and prove some equivalences between types involving pointed maps
examples/bool.ctt diff | blob | blame | history
examples/pointedMaps.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.