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

..

eval.gfs

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

eval.gfs.gold

hopefully complete and correct typechecker in PGF

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

Test.gf

hopefully complete and correct typechecker in PGF

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