summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF/Data.hs
AgeCommit message (Expand)Author
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-27cleanup the code of the PGF interpreter and polish the binary serialization t...krasimir
2010-01-17PGF is now real synchronous PMCFGkrasimir
2010-01-05printnames are now kept as String instead of Term in PGFkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir