Pinned Repositories
atom-language-idris
A Idris Mode for Atom.io
elba
A package manager for Idris
elba-bot
A bot that made to maintain the elba package index.
idris-containers
Various data structures for use in the Idris Language.
idris-elba-interface
A wrapper to exposes elba repl through Idris' raw command line interface
index
The default elba package index
path
Well-typed paths in Idris
semver
A semantic versioning library in Idris
semver_constraints
A Rust library for more robust, nuanced semver constraints
website
elba's presence on the world wide web
elba's Repositories
elba/elba
A package manager for Idris
elba/website
elba's presence on the world wide web
elba/index
The default elba package index
elba/semver_constraints
A Rust library for more robust, nuanced semver constraints
elba/idris-elba-interface
A wrapper to exposes elba repl through Idris' raw command line interface
elba/elba-bot
A bot that made to maintain the elba package index.
elba/path
Well-typed paths in Idris
elba/semver
A semantic versioning library in Idris
elba/atom-language-idris
A Idris Mode for Atom.io
elba/idris-containers
Various data structures for use in the Idris Language.
elba/lightyear
Parser combinators for Idris
elba/pubgrub
The Pubgrub dependency resolution algorithm, available as a Rust library
elba/store