asdf-idris2

idris2 plugin for the asdf version manager.

Contents

• Dependencies
• Install
• Why?
• Contributing
• License

Dependencies

• A working scheme compiler. See asdf-chezscheme
• set env SCHEME to the chez scheme executable. Defaults to scheme.
• set env ASDF_IDRIS2_BOOTSTRAP_OPTS if you need a custom bootstrap process (eg, bootstrap-rkt)
• bash, curl, tar, generic POSIX build utilities.

Install

Plugin:

asdf plugin add idris2
# or
asdf plugin add https://github.com/asdf-community/asdf-idris2.git

idris2:

# Show all installable versions
asdf list-all idris2

# Install specific version
asdf install idris2 latest

# Set a version globally (on your ~/.tool-versions file)
asdf global idris2 latest

# Now idris2 commands are available
idris2 --help

Check asdf readme for more instructions on how to install & manage versions.

Contributing

Contributions of any kind welcome! See the contributing guide.

Thanks goes to these contributors!

License

See LICENSE © Victor Hugo Borja