summaryrefslogtreecommitdiff
path: root/src/PGF/Binary.hs
AgeCommit message (Collapse)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
2009-09-20change the data types and the syntax in PGF to match the new syntax for ↵krasimir
implict arguments
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ↵krasimir
without bound variable
2009-06-16completely phrase based parser and support for pre {} in PMCFGkrasimir
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2009-05-18added filtering for useless productions in PMCFGkrasimir
2009-04-02raise better error message when decode PGF filekrasimir
2008-10-28even more compact binary representation. saldo < 19MBkrasimir
2008-10-28remove some traces that I left by incidentkrasimir
2008-10-28forgot to add PGF.Binarykrasimir