Either conversion, mapEither evaluation
[darcs-mirror-polyfix.git] / ExFindExtended.hs
2008-10-17 Joachim BreitnerBefore Lambda untyping
2008-10-17 Joachim BreitnerConvert Daniels Term to my Expr, and insert into theorem
2008-10-16 Joachim BreitnerCabalize
2008-10-15 Joachim BreitnerAdd nice getComplete' function
2008-10-15 Joachim BreitnerDaniels Code