> I've long had a soft spot for dependently-typed languages

Whatever happened to Idris? Is that still being developed?

Edit: Looks like they are working on Idris 2 https://github.com/idris-lang/Idris2