Edward Kmett - Type Classes vs. the World
36:02
Edward Kmett - Undecidable Superclasses
1:33:37
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
20:41
How any founder can use AI to grow their business (without coding skills)
42:43
"Propositions as Types" by Philip Wadler
21:57
George Wilson - The Extended Functor Family
1:48:42
Clean Code - Uncle Bob / Lesson 1
1:53:24
Edward Kmett - Propagators - Boston Haskell
42:07