Whatever happened to Idris? Is that still being developed?
Edit: Looks like they are working on Idris 2 https://github.com/idris-lang/Idris2