Idris-dev

Idris-dev

https://github.com/idris-lang/Idris-dev

Haskell3417

11 months ago

Reviews

A Dependently Typed Functional Programming Language

Search similar apps

    License

    Other

    Share

    A Dependently Typed Functional Programming Language

    Creator

    idris-lang

    Related apps