Skip to content

L-TChen/Type-Theory

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

93 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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}