elba 0.3.0

elba is a package manager for Idris
Documentation 
1
2
3
4

Installing Idris
================

This chapter will go over installation of the Idris toolchain,