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}