Curry-Howard the Duck
/- Teaching New Tricks to Old Programs - Conal Elliott
- Category
- Cartesian Monoidal Category
- Cocartesian Monoidal Category
- Representable Functor
- Comonad
- Building up Zippers from Distributive, Representable, and Cofree
- Cofree
- Free From Tree
- Rose Tree
- Mutation Testing
- QuickCheck
- Heyting Algebra
- Boolean Algebra
- Law of excluded middle