anqurvanillapy / type-theory

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}