Remove special Tuple handling in allquantors
[darcs-mirror-polyfix.git] / SimpleFT.hs
2008-11-14 Joachim BreitnerRemove special Tuple handling in allquantors
2008-10-15 Joachim BreitnerName vars corresponding to daniels output, identify...
2008-10-15 Joachim BreitnerEither handling
2008-10-15 Joachim BreitnerEither support
2008-10-15 Joachim BreitnerType signatures
2008-10-14 Joachim Breitnerquantify variables on their own
2008-10-14 Joachim BreitnerDo not assign "f"
2008-10-14 Joachim BreitnerRemove obsolete functions (as top levels)
2008-10-14 Joachim Breitnerunused untyped exprs
2008-10-14 Joachim BreitnerAnd as list
2008-10-14 Joachim BreitnerLarge refactor: Use TypedExpr data type
2008-10-14 Joachim BreitnerCarry types with functions
2008-10-14 Joachim Breitnercomments
2008-10-14 Joachim BreitnerDeep tuple pattern generation
2008-10-14 Joachim BreitnerPairwise -> allZipWith
2008-10-14 Joachim BreitnerShowing with types
2008-10-13 Joachim BreitnerCatch empty lambda in map
2008-10-13 Joachim BreitnerInitial check in