reintroduced Convertible typeclass; fixed conv for formulas
authorSimon Huber <hubsim@gmail.com>
Thu, 19 Mar 2015 09:55:04 +0000 (10:55 +0100)
committerSimon Huber <hubsim@gmail.com>
Thu, 19 Mar 2015 09:55:04 +0000 (10:55 +0100)
commit8affa62e7c8190e9b02ab58564213ff98f791f0f
tree5728ddbc6910a32ea1fae6bb5051e9348b3ffd76
parentdd3d5011cc5450254d88c1314fbd8713b37a9350
reintroduced Convertible typeclass; fixed conv for formulas
CTT.hs
Eval.hs