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