12 Commits

Author	SHA1	Message	Date
kr.angelov	7c0bad5092	remove the read and write modules from libgu. this simplifies the i/o layer	2013-09-05 11:20:39 +00:00
kr.angelov	a20cd77d25	nonExist now does the expected thing	2013-08-23 13:17:45 +00:00
kr.angelov	155afdf9b7	a complete Python API for reading, printing and manipulation of abstract trees and types. This includes dependent types, high-order abstract syntax and implicit arguments	2013-06-27 09:39:15 +00:00
kr.angelov	aa644169c2	bugfix for the grammar printer in the C runtime	2013-05-30 20:20:02 +00:00
kr.angelov	f050609101	added API for computing bracketed strings from Python and C	2013-04-18 13:37:09 +00:00
kr.angelov	d124fa9a12	refactoring: now all named objects in the C runtime have an explicit name field	2013-02-11 14:10:54 +00:00
kr.angelov	90c3304147	remove the pgf2yaml tool which was both broken and redundant. The declarations for generic programming from data.c are removed as well	2013-02-11 13:51:12 +00:00
kr.angelov	a6800fc0da	a new unbiased statistical parser. it is still far from perfect use it on your own risk.	2012-05-08 12:13:28 +00:00
kr.angelov	0e90d1ba1f	libpgf: now all concrete functions and categories are explicitly linked to their abstract counter parts	2012-03-05 12:59:31 +00:00
kr.angelov	1d239ab567	libpgf: simple fix in the grammar printer and the reader	2012-02-24 13:52:21 +00:00
kr.angelov	aed7cc429a	libpgf: simplify the loading of PgfCncCat	2012-02-17 14:26:08 +00:00
kr.angelov	4f8ad8c23f	libpgf: added printer.c	2012-02-17 14:11:29 +00:00