Life is too long, I use Haskell.
--The Elder
Sources
- Real World Haskell,
referred to asRWH. - Learn You a Haskell for Great Good!,
referred to asLYH. - 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.
Random explorations
- Tying the knot.
- Curry-Howard correspondence.
- Dependent type, and my personal implementation.
- F-Algebra.
- Algebra of ADTs.
License
On this page
Contributors
Do What The F*ck You Want To Public License
Created December 1, 2017
Updated February 27, 2025