~dcao/ivor

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.