Life is too long, I use Haskell.
--The Elder
- Real World Haskell,
referred to as
RWH. - Learn You a Haskell for Great Good!,
referred to as
LYH. - CIS 194: Introduction to Haskell, TODO.
- DATA 61: Functional Programming Course, TODO.
- What I Wish I Know When Learning Haskell, TODO.
- CS240H: Functional Systems in Haskell, TODO.
- CIS 552: Advanced Programming, TODO.
- CIS 500: Software Foundations, TODO.
- Tying the knot.
- Curry-Howard correspondence.
- Dependent type, and my personal implementation.
- F-Algebra.
- Algebra of ADTs.
