handout for reading group presentation on linear lambda calculus
Primary LanguageTeX
No issues in this repository yet.