Build tools | Package managers

Jump to bottom Edit New page

Márton Boros edited this page Dec 13, 2018 · 3 revisions

Some tools to manage projects, building and external dependencies

Nix, the purely functional package manager - see the nixpkgs manual section on how to install Idris with a bunch of already packaged libraries, or publish your own
Idris Rules - Bazel rules for Idris
Ikan - A package manager for idris, in idris
Elba - A package manager for Idris
idream - A simple build system for Idris