Idris 1.0 Released | Idris

Read at https://www.idris-lang.org/idris-1-0-released/