2 Commits

Author	SHA1	Message	Date
aarne	e4dc63f665	rudimentary abstract syntax type checker and solver in PGF	2008-10-14 14:34:08 +00:00
aarne	a2e3b1ce73	moved paraphrases to examples/test/, meant for small grammars used for testing various aspects	2008-10-14 11:20:44 +00:00