onlurking / category-theory-for-programmersLinks
e-book version of Bartosz Milewski's Category Theory for Programmers
☆482Updated 6 years ago
Alternatives and similar repositories for category-theory-for-programmers
Users that are interested in category-theory-for-programmers are comparing it to the libraries listed below
Sorting:
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆471Updated last year
- Applied Functional Programming Course - Move from exercises to a working app!☆633Updated last year
- A List of Foundational Haskell Papers☆874Updated 7 months ago
- Code and materials for my book "Functional Design and Architecture"☆517Updated 6 months ago
- Learn Haskell, with tiny lessons.☆565Updated 3 years ago
- Launch your own Haskell study group. Now.☆271Updated 5 years ago
- Functional Programming Course☆1,032Updated 2 years ago
- A little course to learn about some of the more obscure GHC extensions.☆650Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,267Updated last year
- 📖 source material for Thinking with Types☆493Updated 2 years ago
- 𝛌 Awesome Idris resources☆402Updated 5 years ago