Adds projections for equivs
authorSimon Huber <hubsim@gmail.com>
Tue, 16 Jun 2015 20:11:52 +0000 (22:11 +0200)
committerSimon Huber <hubsim@gmail.com>
Tue, 16 Jun 2015 20:11:52 +0000 (22:11 +0200)
commitf1a06ce0eeeea5e9cc1983c3b31a7cc962d8f245
treec1de9ab2d616764e8bcc0944870bda040117d067
parent7cdbab4ae5c3fa9f6b7748a4d5b8960f6ec800a7
Adds projections for equivs
Eval.hs