bringert b8f1702110 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