GitHub repository: L-TChen/Type-Theory
Primary language: TeX
Description: Lecture note on Lambda Calculus and Types for FLOLAC