vagrant-idris

A custom vagrant/ansible environment to build Idris

Don't want to install Haskell, cabal, GPM or other dependencies in your host environment? Want to play around with a relatively recent build of Idris?

Follow these steps:

• Install Vagrant
• Install Ansible
• Clone this repo
• run vagrant up inside the cloned repo
• vagrant ssh to connect to your new Idris environment