4 ms·
Idris 2 looks promising... I suggest keep an eye on it https://github.com/idris-lang/Idris2 https://github.com/idris-lang/Idris2
by fbn79 5y ago
Idris 2 looks promising... I suggest keep an eye on it https://github.com/idris-lang/Idris2 https://github.com/idris-lang/Idris2