krasimir 352a640e64 the testsuite\runtime\parser test now generates random trees to test the parser with

2009-09-13 15:17:15 +00:00

..

eval

hopefully complete and correct typechecker in PGF

2009-09-06 20:31:52 +00:00

linearize

added testcase for linearization with HOAS

2009-06-18 17:47:06 +00:00

paraphrase

hopefully complete and correct typechecker in PGF

2009-09-06 20:31:52 +00:00

parser

the testsuite\runtime\parser test now generates random trees to test the parser with

2009-09-13 15:17:15 +00:00

typecheck

hopefully complete and correct typechecker in PGF

2009-09-06 20:31:52 +00:00