Haskell Programming From First Principles - Follow-up Resources

📖 source material for Thinking with Types

This book will be an undergraduate textbook written in the univalent style, taking advantage of t...

Exercises for the Haskell Beginners 2022 course

A collaborative bibliography of work related to the theory and practice of computational effects

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

A List of Foundational Haskell Papers

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

A collection of resources for learning type theory.