codereport / CTfP-2021
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
☆129Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for CTfP-2021
- Source material for Algebra-Driven Design☆136Updated 11 months ago
- An automated tutorial to teach you about Haskell!☆167Updated last year
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆169Updated 2 years ago
- Selected Papers of Dana S. Scott☆155Updated 4 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆286Updated 9 months ago
- Spartan type theory☆254Updated 5 months ago
- Challenges from Category Theory for Programmers☆117Updated 2 weeks ago
- The Dao of Functional Programming☆298Updated last month
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆75Updated 2 months ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆157Updated 5 months ago
- ☆222Updated 3 months ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆35Updated 6 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…☆467Updated 10 months ago
- My slides and compilation of resources.☆148Updated 2 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆110Updated 3 months ago
- Agda lecture notes for the Functional Programming course at TU Delft☆117Updated 7 months ago
- Functional teaching language for use in a discrete mathematics course☆163Updated last week
- A visual catalogue + story of morphisms displayed across computational structures.☆122Updated 2 years ago
- Resources for learning Category Theory for an enthusiast☆602Updated last year
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆42Updated last year
- ☆142Updated 9 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 2 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆164Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆34Updated last year
- ☆19Updated 3 years ago
- Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.☆136Updated 3 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆332Updated 4 years ago
- An introductory course to Homotopy Type Theory☆359Updated 4 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆211Updated 2 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆349Updated last week