10 Commits

Author	SHA1	Message	Date
aarne	e9679e57af	fixed some bugs in translation quiz	2010-11-17 08:30:02 +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	4e715c3952	the first revision of exhaustive and random generation with dependent types. Still not quite stable.	2010-09-22 15:49:16 +00:00
krasimir	8742ebee38	for backward compatibility we have the old parse function again. the old functionality is exposed by parse_	2010-04-30 20:18:26 +00:00
krasimir	83528f15d7	first incarnation of the bracketed string API	2010-04-30 14:36:06 +00:00
krasimir	0b6b30d4a8	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
aarne	3dd8fb8dec	commands mq and tq can take a tree with metas to guide generation	2010-02-01 09:56:58 +00:00
aarne	ab1d4deccf	command l -list ; fixed mq to work with the new tabularLinearizes	2010-01-31 16:05:23 +00:00
krasimir	362f333ebd	now the linearization is completely based on PMCFG	2010-01-17 17:05:21 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00