Last fixes
[darcs-mirror-polyfix.git] / polyfix-cgi.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 BreitnerSmall adjustment, forgotten patterns
2008-10-15 Joachim BreitnerDocument custom functions
2008-10-15 Joachim BreitnerBe more explicit about strict functions
2008-10-15 Joachim BreitnerRename to PolyFix