summaryrefslogtreecommitdiff
path: root/src/PGF/Paraphrase.hs
AgeCommit message (Collapse)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type ↵krasimir
synonym of Expr
2009-09-08now the datatype Tree is only internal. All API functions are working with ↵krasimir
Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
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