15 Commits

Author	SHA1	Message	Date
aarne	fe82e6b50d	documented the pgf -printer values for help	2010-12-14 20:40:17 +00:00
krasimir	be9ad26aea	refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax	2010-10-02 13:03:57 +00:00
krasimir	9aa7c88c5a	native representation for HOAS in PMCFG and incremental type checking of the parse forest	2010-08-09 10:10:08 +00:00
krasimir	e92151caf8	redesign the open-literals API	2010-07-01 08:51:59 +00:00
krasimir	d777e8e52f	dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax	2010-06-09 11:32:59 +00:00
krasimir	f3bee9fd36	wf,vt,vp,vd,aw should store files in utf8	2010-04-28 17:37:53 +00:00
krasimir	0b6b30d4a8	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
aarne	b7a60b5e45	dependency graph can be restricted to some modules; added help dg	2010-04-06 08:53:44 +00:00
krasimir	1591253a55	added codepage for Turkish	2010-03-23 13:44:17 +00:00
krasimir	d3a84f994b	store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet	2010-03-22 21:15:29 +00:00
krasimir	57b8e42601	added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.	2010-03-20 07:26:53 +00:00
krasimir	4485e97181	refactor GF.Infra.Modules for better error messages	2010-01-31 15:54:25 +00:00
krasimir	a039808141	PGF is now real synchronous PMCFG	2010-01-17 21:35:36 +00:00
krasimir	76debee2c1	remove the old parsing code and the -erasing=on flag	2009-12-14 10:54:22 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00