This repository holds the manuscript of an unpublished paper. To compile the PDF file, run ~llmk~ under an appropriate TeX Live environment.
usaoc / sl-fns-simply-typed Goto Github PK
View Code? Open in Web Editor NEWStrictly local functions are simply typed