• @Esc2019
• @Mim2022
• @Rijk2022
• Agda
• bibliography
• Category Theory
• Family Polymorphism
• HoTT
• Introduction into Everything
• lambda-calculus
• Logic
• natural-deduction
• Principles of Dependent Type Theory
• Types