Posts tagged with "Agda"
- Become a Better Haskeller by Learning About Inductive Types
- Gentle Introduction to Homotopy Type Theory
- Interactive Theorem Proving
- Giving a Talk on Propositions as Types
- Recording of My Talk at Lambda Days 2019
- Isomorphism and Embedding
- Function Totality: Abstraction Tool in Programming
- Hooked on Dependent Types
- Typed Functional Programming and Software Correctness
- Typed Holes in Programming
- Totality in Programming
- Incomplete Pattern-matching in Haskell