3 ms·
Is Idris 2 implemented in Idris 1 ?
by didibus 6y ago
Is Idris 2 implemented in Idris 1 ?
- Zigma 6y agoIdris 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).