Dash docset for Idris 2 Building locally Install Dashing Checkout Idris 2 to ../Idris2 Build the Idris2 library docs with $ cd ../Idris2 && make libdocs Finally, make idris2.docset via make $ make
