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-22 05:31:31 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
8f6fc902283a4cb4d18c273e4c3b4858d13a8da4
gf-core
/
transfer
/
doc
T
History
bringert
0419860b4e
Transfer: some TODOs. Lots of minor fixes in type checking algorithm.
2006-03-20 18:23:55 +00:00
..
Makefile
Transfer: added beginnings of a type checking algorithm description.
2006-03-03 10:37:59 +00:00
mathpartir.sty
Transfer: added beginnings of a type checking algorithm description.
2006-03-03 10:37:59 +00:00
typesystem.tex
Transfer: some TODOs. Lots of minor fixes in type checking algorithm.
2006-03-20 18:23:55 +00:00
bringert