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: 7 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 (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-01-11T12:36:07.000Z (over 4 years ago)
• Last Synced: 2024-08-04T10:01:42.413Z (11 months ago)
• Size: 251 MB
• Stars: 41
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• Awesome-Maths-Learning - Videos by Paul-André Melliès