Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pamellies/lambda-calculus-and-categories
A repository for the material of my course on lambda-calculus and categories
https://github.com/pamellies/lambda-calculus-and-categories
Last synced: about 2 months ago
JSON representation
A repository for the material of my course on lambda-calculus and categories
- Host: GitHub
- URL: https://github.com/pamellies/lambda-calculus-and-categories
- Owner: pamellies
- Created: 2020-09-25T19:53:53.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2021-01-11T12:36:07.000Z (over 3 years ago)
- Last Synced: 2024-05-02T13:21:40.309Z (5 months ago)
- Size: 251 MB
- Stars: 41
- Watchers: 2
- Forks: 0
- Open Issues: 0
Awesome Lists containing this project
- Awesome-Maths-Learning - Videos by Paul-André Melliès