codereport / CTfP-2021
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
☆132Updated 2 years ago
Alternatives and similar repositories for CTfP-2021:
Users that are interested in CTfP-2021 are comparing it to the libraries listed below
- An automated tutorial to teach you about Haskell!☆169Updated last year
- Selected Papers of Dana S. Scott☆157Updated 9 months ago
- Jupyter adaptation of Learn You a Haskell for Great Good!☆300Updated last year
- The agda-unimath library☆243Updated 2 weeks ago
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆109Updated 3 months ago
- HoTTEST Summer School materials☆296Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆125Updated last year
- Source material for Algebra-Driven Design☆140Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆158Updated 9 months ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Code challenges to solve with Haskell☆126Updated 2 years ago
- ☆81Updated 6 months ago
- ☆250Updated 5 months ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.