Finished eqToEquiv
authorSimon Huber <hubsim@gmail.com>
Mon, 15 Jun 2015 12:51:25 +0000 (14:51 +0200)
committerSimon Huber <hubsim@gmail.com>
Mon, 15 Jun 2015 16:12:13 +0000 (18:12 +0200)
commit4a79ca0d64630932ecc0b22a712a36059eaa3a11
tree4138fd2ea6cc104dcb8508ef18c47fa02faf3db2
parent33ebab86a5f6aaf07bfab3fb39f7ae829ebbf2b0
Finished eqToEquiv
Eval.hs
examples/prelude.ctt