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-05-06 01:32:50 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
8ebb4e854a474ee376253b9d476a25c5d1f24e9b
gf-core
/
testsuite
/
runtime
/
eval
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
