Oops QED

• shapeless
• Applied Category Theory and Abstract Algebra - Gabriel Gonzales
• Eta
• matryoshka
• Scala vs Idris: Dependent Types, Now and in the Future
• persistent
• esqueleto
• opaleye
• PostgREST
• Arel
• CQRS
• Sqitch
• Neo4j
• doobie
• Integrating PureScript and Halogen Into JavaScript Applications
• How to Build a Blog in 10 Minutes with Hyper

Mobbin' It

• Pine State Biscuits
• Finger Tree
• Limits and Colimits - Bartosz Milewiski
• Category Theory II
• Elm Is Wrong
• Elm user group SF
• Expression Problem
• Who's Afraid of Object Algebras
• Typed final (tagless-final) style
• Extensibility for the Masses Practical Extensibility with Object Algebras
• Free Category
• Adjunction
• Free Functor
• Forgetful Functor
• Galois Connection

Limited Resource

• Stylish
• Twitter - Dark n Simple
• 90210
• NoRedInk
• Stubbornella
• Function space
• Field
• Ring
• Applicative programming
• catamorphism
• epimorphism
• Cinderella ballet
• Frankenstein ballet
• Final Fantasy XV
• Subnautica
• 12 Monkeys
• Short-wave radio
• Bay Area Haskell Users Group
• Using Nix to improve Haskell and C++ development
• Languages for 3D Industrial Knitting - Lea Albaugh
• Adjunction
• Category
• Hom Set

The Ocean of Regret

• Are Denotational Semantics Adjoint to Hacking Something Together?
• Group
• Free Group
• Free Monoid
• Free Object
• Idempotence
• Lattice
• Join and Meet
• Monotonic function
• Semilattice
• Profunctor
• Strong Profunctor
• Arrow
• purescript-profunctor-lenses
• Monoids on Steroids - Bartosz Milewski
• miniKanren
• discrimination - Fast generic linear-time sorting, joins and container construction.
• Monoids: Theme and Variations (Functional Pearl) - Brent A. Yorgey
• Bronchiolitis obliterans
• elmzed
• purescript-halogen
• Pux

Adjunction Junction, What's Your Function?

• Limit
• Sanctuary.js
• Ramda
• Creed
• Ramda-Fantasy
• Folktale
• Extend
• Extract
• flow-static-land
• Functor analogy quote
• Adjunction
• Free and forgetful functions
• Hom Set
• Homomorphism
• Isomorphism
• Naturality
• Curry uncurry adjunction
• Rao on Medium
• Rao on Ghost

It's a Universal Universal Construction

• Programming talks
• Category Theory for the Sciences
• colimits
• Pullback
• limits
• Universal property
• ncatLab
• Vincent Orr's egghead videos
• CSS maintenables avec Sass & Compass
• Functional Light JS
• No Silver Bullets in Functional Programming
• Definite Clause Grammar
• Integrating PureScript and Halogen into JavaScript Applications

Van Hailin'

• VeganBlackMetalChef
• Two Handed Great Sword -- h3h3 reaction video
• anamorphism
• catamorphism
• uniplate in elmz
• uniplate
• Everyone should use a Generics library - writing HLint with Uniplate
• uniplate tweet
• elm-html-in-elm
• elm-html-test
• Rose tree
• Category Theory for the Sciences
• limits
• colimits

Fjords

• @st58
• @MagicReadAlong
• support@magicreadalong.com
• fjord
• monoid
• What are the most useful Functional Pearls I should study first?
• Monoids: Theme and Variations
• diagrams
• semigroup
• Connor McBride freaks out
• elmzed
• Scalable program architectures

Haskell and Chill

• Chris Penner 
• Hanabi 
• Skyladder 
• Mindfulness meditation 
• Primitive Obsession 
• POJO
• Boolean Blindness
• Destroy All Ifs
• MuniHac 2016: Beautiful folds are practical, too
• purescript-halogen
• Integrating PureScript and Halogen into JavaScript Applications
• The J Programming Language
• Numeronym
• As-patterns
• Comonads, Monoids and Trees

Are Denotational Semantics Adjoint to Hacking Something Together?

• 2 12 constructive Galois Connections: Taming the Galois Connection Framework for Mechanazed Metathe
• Galois Connection
• An Exercise Utilising Galois Connections
• Denotational semantics
• Deriving Functor
• purescript-filterable
• excursion
• purescript-matryoshka
• apomorphism
• anamorphism
• histomorphism
• futumorphism
• Group
• :not
• Ring
• Boolean algebra
• Heyting algebra
• Idempotence
• Lattice
• Semigroup
• Monoid
• Commutative property
• Semilattice