https://github.com/yurrriq/tdd-with-idris

:book: Working through Type-Driven Development with Idris
https://github.com/yurrriq/tdd-with-idris

dependent-types functional-programming idris learning theorem-proving type-driven-development

Last synced: about 1 month ago
JSON representation

:book: Working through Type-Driven Development with Idris

• Host: GitHub
• URL: https://github.com/yurrriq/tdd-with-idris
• Owner: yurrriq
• License: mit
• Created: 2016-04-28T04:00:02.000Z (over 8 years ago)
• Default Branch: develop
• Last Pushed: 2017-03-29T21:52:50.000Z (over 7 years ago)
• Last Synced: 2023-03-29T04:48:34.878Z (over 1 year ago)
• Topics: dependent-types, functional-programming, idris, learning, theorem-proving, type-driven-development
• Language: Idris
• Homepage: http://yurrriq.codes/tdd-with-idris
• Size: 221 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project