Idris Mac Setup

Here's a short overview of how to install Idris on a Mac,