https://github.com/leostera/idris-coda

📦 A collection of Idris packages
https://github.com/leostera/idris-coda

idris packages random

Last synced: 17 days ago
JSON representation

📦 A collection of Idris packages

• Host: GitHub
• URL: https://github.com/leostera/idris-coda
• Owner: leostera
• License: bsd-3-clause
• Created: 2017-08-13T15:29:41.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-10-16T15:58:25.000Z (about 7 years ago)
• Last Synced: 2024-10-29T21:07:11.987Z (2 months ago)
• Topics: idris, packages, random
• Language: Idris
• Homepage:
• Size: 45.9 KB
• Stars: 6
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# idris-coda

A collection of Idris packages, currently including:

* ISO 8601 Date Package

* ISO 8601 DateTime Package

* ISO 8601 Time Package

* Range: A Generic Type for Non-inclusive, ordered ranges

* an interface for implementing Distance between Ranges

* TAP: a Test Anything Protocol producer