A collection of Idris packages
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Coda
tools/webrepl
.gitignore
Coda.ipkg
LICENSE
Makefile
README.md

README.md

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