idream

A simple build system for Idris

Search similar apps

    License

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

    A simple build system for Idris

    Creator

    idream-build

    Related apps