Clarify binary downloads Idris1 vs Idris2 #13
Description
The downloads page mentions binary downloads. However, as far as I can tell, these are for Idris 1 (or the Windows ones at least are, I don't have a Mac to check the .pkg file).
If they are Idris 1 binaries, the heading should indicate that, and probably also include the same "legacy" note that the Idris 1 heading itself includes.