https://github.com/klausnat/idris

Type-Driven Development with Idris Book by Edwin Brady, Exercises
https://github.com/klausnat/idris

Last synced: 11 days ago
JSON representation

Type-Driven Development with Idris Book by Edwin Brady, Exercises

• Host: GitHub
• URL: https://github.com/klausnat/idris
• Owner: klausnat
• Created: 2018-10-25T08:19:18.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-01-30T06:44:19.000Z (almost 6 years ago)
• Last Synced: 2024-11-06T06:46:57.373Z (2 months ago)
• Language: Idris
• Size: 134 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project