alternative definition of equivalences
authorAnders Mörtberg <andersmortberg@gmail.com>
Fri, 18 Dec 2015 14:08:27 +0000 (09:08 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 18 Dec 2015 14:08:27 +0000 (09:08 -0500)
commit3435cd4f0b66679b8820be3f12470abf1049ea0f
tree21b0e5e40c9eccba85faab5bb94183859d886a48
parent0b9c712d49e2077287b2cef9f15f781baed73bee
alternative definition of equivalences
examples/equiv.ctt