https://github.com/chouffe/idris-type-driven-development

Idris Playground (Book Type Driven Development)
https://github.com/chouffe/idris-type-driven-development

dependent-types idris

Last synced: about 8 hours ago
JSON representation

Idris Playground (Book Type Driven Development)

• Host: GitHub
• URL: https://github.com/chouffe/idris-type-driven-development
• Owner: Chouffe
• Created: 2017-04-08T03:00:10.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-05-12T17:56:36.000Z (over 7 years ago)
• Last Synced: 2023-03-29T05:35:00.670Z (over 1 year ago)
• Topics: dependent-types, idris
• Language: Idris
• Size: 85 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project