]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc9f3d4) | patch
add the huge normal form of corrUniv which trigger the bug
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jan 2016 11:20:11 +0000 (12:20 +0100)
committerAnders Mörtberg <andersmortberg@gmail.com>
Tue, 5 Jan 2016 11:20:11 +0000 (12:20 +0100)
commitc80eea44415ddca72069112ee4fb4d773f0c5d96
treeb545afa26ed6e92496bcd180b70d2fcfdd234d29tree | snapshot
parentfc9f3d43e8429b2c84dcd37ea4bc67a15891f066commit | diff
add the huge normal form of corrUniv which trigger the bug
examples/nunivalence.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.