codereport / CTfP-2021
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
☆134Updated 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!☆170Updated last year
- Challenges from Category Theory for Programmers☆122Updated 5 months ago
- My slides and compilation of resources.☆152Updated 7 months ago
- An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.☆171Updated 2 years ago
- Polynomial Lens☆29Updated 2 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆290Updated last year
- Source material for Algebra-Driven Design☆142Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆158Updated 10 months ago
- Resources for type theory, functional programming, etc.☆318Updated 4 years ago
- Spartan type theory☆262Updated 10 months ago
- Jupyter adaptation of Learn You a Haskell for Great Good!☆300Updated last year
- ☆83Updated last week
- HoTTEST Summer School materials☆297Updated last year
- ☆19Updated 4 years ago
- Functional teaching language for use in a discrete mathematics course☆168Updated 2 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆123Updated 3 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆124Updated 4 years ago
- Selected Papers of Dana S. Scott☆160Updated 9 months ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- Resources for learning Category Theory for an enthusiast☆620Updated 2 years ago
- Play/learn/work with me☆102Updated 8 months ago
- A visual catalogue + story of morphisms displayed across computational structures.☆123Updated 2 years ago
- A collection of resources which were useful to Tweagers for learning Haskell and its various aspects☆419Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆24Updated 2 weeks ago
- The Makam Metalanguage☆198Updated 2 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- OCaml version of Category Theory For Programmers☆131Updated 5 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆213Updated last year
- ☆151Updated 10 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆226Updated last year