krasimir 1fcf8d8208 larger treebank in examples/test/parser

2009-01-19 13:39:06 +00:00

..

paraphrase

moved paraphrases to examples/test/, meant for small grammars used for testing various aspects

2008-10-14 11:20:44 +00:00

parser

larger treebank in examples/test/parser

2009-01-19 13:39:06 +00:00

srg

more test/srg to examples/test/srg

2008-10-20 11:11:59 +00:00

typecheck

rudimentary abstract syntax type checker and solver in PGF

2008-10-14 14:34:08 +00:00