Types

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