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

The Howling Fantods

• Zodiac Killer
• Ted Cruz-Zodiac meme
• Triumph, the Insult Comic Dog
• Zipper
• Distributive
• Representable
• Traversable
• Adjunction
• purescript-substructural
• Substructural type system
• Free Modules and Functional Linear Functionals
• Module
• Moby Dick
• HOUND Voice Search & Assistant
• Pazuzu - Captain Howdy
• Moore Machine
• Mealy Machine
• The Expression Problem
• DDD
• Monoids: Theme and Variations