Idris 2 is implemented in Idris 2! See https://www.idris-lang.org/idris-2-version-020-released.html https://www.idris-lang.org/idris-2-version-020-released.html

Idris 2 is implemented in Idris 2! See https://www.idris-lang.org/idris-2-version-020-released.html https://www.idris-lang.org/idris-2-version-020-released.html It should still be possible to bootstrap Idris 2 from Idris 1, via Idris2-boot (https://github.com/edwinb/Idris2-boot https://github.com/edwinb/Idris2-boot), and via version 0.2.1 of Idris2 (https://www.idris-lang.org/idris-2-version-021-released.html https://www.idris-lang.org/idris-2-version-021-released.html).