This website requires JavaScript.
Explore
Help
Sign In
msyds
/
gf-core
Watch
1
Star
0
Fork
0
forked from
GitHub/gf-core
Code
Pull Requests
Activity
Files
0453d5c45e8e8204f39311eebb0f7093d9e26b9b
gf-core
/
transfer
/
doc
T
History
bringert
0453d5c45e
Transfer: added beginnings of a type checking algorithm description.
2006-03-03 10:37:59 +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: added beginnings of a type checking algorithm description.
2006-03-03 10:37:59 +00:00
