onlurking / category-theory-for-programmersLinks
e-book version of Bartosz Milewski's Category Theory for Programmers
☆496Updated 7 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☆521Updated 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…☆480Updated 2 years ago
- Learn Haskell, with tiny lessons.☆566Updated 4 years ago
- Launch your own Haskell study group. Now.☆269Updated 6 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆629Updated 2 years ago
- 𝛌 Awesome Idris resources☆407Updated 5 years ago
- Functional Programming Course☆1,034Updated 2 years ago
- A List of Foundational Haskell Papers☆884Updated last year
- Code and materials for my book "Functional Design and Architecture"☆522Updated last year
- Miscellaneous articles. The readme is the table of contents.☆1,302Updated 2 years ago
- Don't Fear the Profunctor Optics!☆430Updated 8 months ago
- A little course to learn about some of the more obscure GHC extensions.☆658Updated 2 years ago
- "Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October …☆190Updated 9 years ago
- Haskell Programming From First Principles - Follow-up Resources☆502Updated 8 years ago
- I'm trying to update the Real World Haskell book☆795Updated 2 years ago
- Software Foundations in Idris☆456Updated 6 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,102Updated last year
- Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns☆1,001Updated 3 weeks ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,280Updated 11 months ago
- Haskell 101 and 102: slides and codelabs☆1,405Updated 2 years ago
- Fork of the original Data61 course to be more Stack friendly☆450Updated 4 years ago
- ☆258Updated 7 months ago
- Web application for exploring and understanding Haskell codebases☆516Updated 2 years ago
- My notes and solutions to exercises for the book "Haskell Programming from first principles".☆95Updated 4 years ago
- Various interesting articles, in PDF or PS form☆238Updated 12 years ago
- Haskell/GHC symbol search cheatsheet☆326Updated last year
- ☆198Updated 6 years ago
- ACT community resources☆469Updated 6 years ago
- Release with confidence, state-of-the-art property testing for Haskell.☆693Updated last week