https://github.com/thalesmg/idris-type-drive-development-exercises

Exercises for Type Driven Development in Idris
https://github.com/thalesmg/idris-type-drive-development-exercises

Last synced: 10 days ago
JSON representation

Exercises for Type Driven Development in Idris

• Host: GitHub
• URL: https://github.com/thalesmg/idris-type-drive-development-exercises
• Owner: thalesmg
• Created: 2017-09-26T12:48:11.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2017-12-18T11:39:39.000Z (almost 7 years ago)
• Last Synced: 2023-03-05T07:38:54.995Z (over 1 year ago)
• Language: Idris
• Size: 34.2 KB
• Stars: 0
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project