]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 582d897) | patch
implement propositional truncation
authorAuke Booij <auke@tulcod.com>
Wed, 1 Jun 2016 14:41:30 +0000 (15:41 +0100)
committerAuke Booij <auke@tulcod.com>
Wed, 1 Jun 2016 15:13:12 +0000 (16:13 +0100)
commit90a9c20cb57955c637c2983271e70430295d3754
tree76f1c7bc6931d4fa533bd2e3eb34a42e1c18a0e2tree | snapshot
parent582d8977279f3863e2b4a83f24297d1c479d9168commit | diff
implement propositional truncation
examples/propTrunc.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.