bringert 8d1543684a Some simple clarifications in the transfer type checking document.

2006-03-20 15:15:56 +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

Some simple clarifications in the transfer type checking document.

2006-03-20 15:15:56 +00:00