https://github.com/clayrat/idris-functors

Functors
https://github.com/clayrat/idris-functors

idris

Last synced: 1 day ago
JSON representation

Functors

• Host: GitHub
• URL: https://github.com/clayrat/idris-functors
• Owner: clayrat
• Created: 2018-07-18T14:07:43.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-09-30T19:43:49.000Z (about 5 years ago)
• Last Synced: 2024-10-11T21:51:32.442Z (27 days ago)
• Topics: idris
• Language: Idris
• Size: 30.3 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project