idris-containers

idris-containers

https://github.com/jfdm/idris-containers

Idris95

4 years ago

Reviews

Various data structures for use in the Idris Language.

Search similar apps

    License

    BSD 3-Clause "New" or "Revised" License

    Share

    Various data structures for use in the Idris Language.

    Creator

    jfdm

    Related apps

    idris-config

    Parsers for various configuration files written in Idris.

    Idris19bsd-3-clause

    6 years ago