3 ms·

> 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 Id

by dmix 3mo ago

> 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 https://github.com/idris-lang/Idris2