https://github.com/paolobrasolin/agda-monads

https://github.com/paolobrasolin/agda-monads

Last synced: 25 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/paolobrasolin/agda-monads
• Owner: paolobrasolin
• Created: 2020-10-31T01:49:59.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2020-11-07T20:08:29.000Z (about 4 years ago)
• Last Synced: 2024-11-06T00:43:02.814Z (2 months ago)
• Language: Agda
• Size: 15.6 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project