1
0
forked from GitHub/gf-core
Commit Graph

4 Commits

Author SHA1 Message Date
krasimir
3b7e39fa4a bugfix in the PGF typechecker and more test cases 2010-01-29 21:10:14 +00:00
krasimir
b97d6abb81 hopefully complete and correct typechecker in PGF 2009-09-06 20:31:52 +00:00
krasimir
5abc99b291 added testcases for evaluation with suspension 2009-07-07 11:40:14 +00:00
krasimir
3efb7a671b added test cases for computation with abstract syntax terms 2009-05-23 21:43:24 +00:00