 krasimir
|
a1c70841c1
|
test case for lazy evaluation in the abstract syntax
|
2010-02-07 22:22:30 +00:00 |
|
|
krasimir
|
3b7e39fa4a
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +00:00 |
|
|
krasimir
|
502979bef1
|
use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent with the GF language
|
2009-09-19 10:16:37 +00:00 |
|
|
krasimir
|
6c7330131d
|
more fixes in the testsuite
|
2009-09-16 12:49:04 +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 |
|