abuseofnotation / category-theory-illustrated
A book about category theory
☆409Updated last month
Alternatives and similar repositories for category-theory-illustrated:
Users that are interested in category-theory-illustrated are comparing it to the libraries listed below
- Resources for learning Category Theory for an enthusiast☆621Updated last year
- The Dao of Functional Programming☆441Updated this week
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,273Updated 2 months ago
- ACT community resources☆468Updated 5 years ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆418Updated 2 years ago
- ☆250Updated 6 months ago
- Category theory in the context of (functional) programming☆522Updated 7 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆166Updated 3 years ago
- papers of Per Martin Löf☆773Updated last year
- Programming language agnostic type construction language based on polynomials.☆367Updated 9 months ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,008Updated last week
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,259Updated last year
- Collections of papers and books about Haskell, Type Theory and Category Theory☆166Updated 3 years ago
- A List of Foundational Haskell Papers☆865Updated 4 months ago
- formally verified category theory library☆262Updated 4 years ago
- Resources for type theory, functional programming, etc.☆318Updated 4 years ago
- A curated list of awesome Category Theory resources.☆113Updated last year
- Software Foundations in Idris☆455Updated 5 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…☆469Updated last year
- Source material for Algebra-Driven Design☆141Updated last year
- 📖 source material for Thinking with Types☆484Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- ☆214Updated last month
- The Haskell Optimization Handbook☆174Updated last week
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆213Updated 3 years ago
- Applied Functional Programming Course - Move from exercises to a working app!☆629Updated last year
- A CI server written in Simple Haskell.☆190Updated 2 years ago