summaryrefslogtreecommitdiff
path: root/src/PGF/Paraphrase.hs
AgeCommit message (Collapse)Author
2009-05-23now in the command shell the primary type in the pipe is Expr not Tree. This ↵krasimir
makes the pt -compute and pt -typecheck more interesting
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2008-10-14paraphrase works a little better now ; added examples/paraphrase for testingaarne
2008-10-13added a paraphrase method applying def's in both directions, in subtrees, ↵aarne
and step by step; doesn't work properly yet