summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF.hs
AgeCommit message (Expand)Author
2010-07-01redesign the open-literals APIkrasimir
2010-06-29introduce the type synonym Token=String in the PGF APIkrasimir
2010-06-22preliminary version of API for Open Literalskrasimir
2010-05-19now the parser could return partial parse resultskrasimir
2010-04-30for backward compatibility we have the old parse function again. the old func...krasimir
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-03-31export fullFormLexicon from PGFkrasimir
2010-03-24now for every category we store, in PGF, the list of functions for it in sour...krasimir
2010-03-22PGF.groupResults and the option l -groups, to show ambiguities grouped by lag...aarne
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t...krasimir
2010-02-16fix the PGF printer for abstractkrasimir
2010-02-01commands mq and tq can take a tree with metas to guide generationaarne
2010-01-30gt and gr can start from a tree with metavariables, just filling themaarne
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-14remove the old parsing code and the -erasing=on flagkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-24 16:00:02 +0000