ZeppLu/LearnHaskell

Life is too long, I use Haskell.

--The Elder

Sources

• 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.

Random explorations

• Tying the knot.
• Curry-Howard correspondence.
• Dependent type, and my personal implementation.
• F-Algebra.
• Algebra of ADTs.

License