https://github.com/williamdemeo/TypeFunc

Resources for type theory, functional programming, etc.
https://github.com/williamdemeo/TypeFunc

Last synced: 3 months ago
JSON representation

Resources for type theory, functional programming, etc.

• Host: GitHub
• URL: https://github.com/williamdemeo/TypeFunc
• Owner: williamdemeo
• Created: 2013-11-30T06:01:24.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2021-03-18T09:49:12.000Z (almost 4 years ago)
• Last Synced: 2024-08-02T05:16:12.643Z (6 months ago)
• Homepage:
• Size: 18.7 MB
• Stars: 308
• Watchers: 22
• Forks: 15
• Open Issues: 0

Awesome Lists containing this project

• fucking-lists - TypeFunc
• lists - TypeFunc