Type-Theory
Type-Theory copied to clipboard
Published
20 hours ago •
L-TChen
L-TChen
Lecture note on Lambda Calculus and Types for FLOLAC
Introduction to Lambda Calculus and Types
Requirement
- XeLaTeX
- latexmk
- Fira Sans Font (optional)
Compilation
To compile every lecture note, do
make
or to compile specific lecture note, do
make lecture{0,1,2,3}
L-TChen