summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf/printer.c
AgeCommit message (Collapse)Author
2013-09-17a major refactoring in the C runtime. GuList is now removed and replaced ↵kr.angelov
with GuSeq. The GuSeq/GuBuf API is simplified
2013-09-05remove the read and write modules from libgu. this simplifies the i/o layerkr.angelov
2013-08-23nonExist now does the expected thingkr.angelov
2013-06-27a complete Python API for reading, printing and manipulation of abstract ↵kr.angelov
trees and types. This includes dependent types, high-order abstract syntax and implicit arguments
2013-05-30bugfix for the grammar printer in the C runtimekr.angelov
2013-04-18added API for computing bracketed strings from Python and Ckr.angelov
2013-02-11refactoring: now all named objects in the C runtime have an explicit name fieldkr.angelov
2013-02-11remove the pgf2yaml tool which was both broken and redundant. The ↵kr.angelov
declarations for generic programming from data.c are removed as well
2012-05-08a new unbiased statistical parser. it is still far from perfect use it on ↵kr.angelov
your own risk.
2012-03-05libpgf: now all concrete functions and categories are explicitly linked to ↵kr.angelov
their abstract counter parts
2012-02-24libpgf: simple fix in the grammar printer and the readerkr.angelov
2012-02-17libpgf: simplify the loading of PgfCncCatkr.angelov
2012-02-17libpgf: added printer.ckr.angelov