idris-type-providers

idris-type-providers

https://github.com/david-christiansen/idris-type-providers

Idris85

6 years ago

Reviews

Type provider library for Idris

Search similar apps

    License

    Share

    Type provider library for Idris

    Creator

    david-christiansen

    Related apps

    IdrisSqlite

    Effectful bindings for SQLite (forked from IdrisWeb)

    Idris40mit

    6 years ago