https://github.com/idris-hackers/idris-demos

Collection of Idris tests and demonstration programs
https://github.com/idris-hackers/idris-demos

Last synced: 2 months ago
JSON representation

Collection of Idris tests and demonstration programs

• Host: GitHub
• URL: https://github.com/idris-hackers/idris-demos
• Owner: idris-hackers
• License: other
• Created: 2013-11-30T16:21:41.000Z (about 11 years ago)
• Default Branch: master
• Last Pushed: 2018-04-23T04:10:38.000Z (over 6 years ago)
• Last Synced: 2024-08-02T13:33:03.810Z (6 months ago)
• Language: Idris
• Size: 60.5 KB
• Stars: 191
• Watchers: 12
• Forks: 13
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
Idris demos

===========

Collection of Idris tests and demonstration programs