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
Fire Up Your Lite-Brite
/- Bocce
- Functional and Reactive Domain Modeling - Debasish Ghosh (2:50)
- right seminear-ring (7:15)
- What the heck is a right-seminearring? (also MonadPlus stuff)
- elmzed (9:00)
- Unison (9:20)
- elm-brands (13:40)
- Freer (16:01)
- recursion schemes (17:01)
- matryoshka (18:40)
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (18:57)
- Unifying Structured Recursion Schemes (19:32)
That's Where You Get the Zygohistomorphic Prepromorphism
/- haskell-vim-now (00:59)
- Love, Hate & tmux (01:11)
- (spacemacs) (04:19)
- kill dash nine (7:23)
- You don’t need more than one cursor in vim - Stöffel (8:09)
- Professor Frisby's Mostly Adequate Guide to Functional Programming - Brian Lonsdorf (9:30)
- Forex Tutorial: The Forex Market (10:28)
- Matryoshka (13:34)
- Biphasic and polyphasic sleep (18:20)
- Uberman sleep (18:31)
- Saved by the Bell (21:54)