add standard formulation of univalence
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 30 Dec 2015 18:58:37 +0000 (19:58 +0100)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 30 Dec 2015 18:58:37 +0000 (19:58 +0100)
commit3d43f42aec55f0b8b423d12f28abde0bd9b4dae4
tree6ac2084bf954be2c29851209bf7af830640c5b6c
parent1734296b471973ea149eb857b8249206f4930b3b
add standard formulation of univalence
examples/testContr.ctt