https://github.com/expede/idris-exercises

My solutions to the "Dependently Typed Programming with Idris 2013" exercises
https://github.com/expede/idris-exercises

Last synced: 6 months ago
JSON representation

My solutions to the "Dependently Typed Programming with Idris 2013" exercises

• Host: GitHub
• URL: https://github.com/expede/idris-exercises
• Owner: expede
• License: mit
• Created: 2015-05-26T06:37:14.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2015-05-30T04:48:59.000Z (about 11 years ago)
• Last Synced: 2025-02-02T10:43:20.336Z (over 1 year ago)
• Language: Idris
• Size: 133 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# idris-exercises

My solutions to the "Dependently Typed Programming with Idris 2013" exercises.

- http://idris-lang.org/archives/253

- https://sdg.wikit.itu.dk/Dependently+Typed+Functional+Programming+with+Idris+-+2013