This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
You've already forked gf-core
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-07-16 10:32:46 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
b5a541e65a439969da86cf5f29e2eb60af1e5504
gf-core
/
testsuite
/
runtime
/
eval
T
History
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
krasimir