projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a8c2d0) | patch
make bool compile and move tests using univalence for bool
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Jan 2016 14:59:51 +0000 (09:59 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Jan 2016 14:59:51 +0000 (09:59 -0500)
commitc0237f5181741e9181cb2b70c049c42e219e082c
treebedae18e4bbfef0b7d423135706ef96f219fe0cctree | snapshot
parent9a8c2d074537ea786110c31c4a659caebed7aa5fcommit | diff
make bool compile and move tests using univalence for bool
examples/bool.ctt diff | blob | blame | history
examples/univalence.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.