# 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

# Is that Sirius Black?

/- Heyting Algebra
- Category Theory - Bartosz Milewski
- Marcel Proust