Jan de Muijnck-Hughes

The Idris wiki has horrendously out of date information for working with the different backend. Maybe it is a good idea for someone to update with moew current information, and...

Regardless of perceptions of the `GNU/Linux` debate, this repository has been deprecated in favour of a sphinx-based documentation that is hosted in the main development repository. All PR for the...