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
treeb545afa26ed6e92496bcd180b70d2fcfdd234d29
parentfc9f3d43e8429b2c84dcd37ea4bc67a15891f066
add the huge normal form of corrUniv which trigger the bug
examples/nunivalence.ctt [new file with mode: 0644]