LaTeX package for the typsetting of Lambda Calculus papers, class notes and similar
tarsobcaldas / lambda-calculus.sty Goto Github PK
View Code? Open in Web Editor NEWLaTeX package for the typsetting of Lambda Calculus papers, class notes and similar
License: MIT License