an experimental idris package manager, written in idris 2
Initial commit

refs

master
browse log

clone

read-only
https://git.sr.ht/~dcao/ivor
read/write
git@git.sr.ht:~dcao/ivor

You can also use your local clone with git send-email.

ivor

...is a modern, robust, and simple package manager written for Idris, in Idris. It is to elba what Blodwen was for Idris.

(it is also entirely experimental and may spontaneously combust at any time)

Goals

  • Stay simple-ish. No versions or registries, just git repos. For now, rely on shell commands for outside behavior (we have no git bindings). No TOML parsing or anything of the sort.

  • Take advantage of Idris-specific features. In particular, this means (potentially) a versioning scheme based on Idris' dependent types (see this).

License

MIT.