3 ms·
I wonder how they feel about Idris https://www.idris-lang.org/pages/example.html https://www.idris-lang.org/pages/example.html
by pmarreck 2y ago
I wonder how they feel about Idris https://www.idris-lang.org/pages/example.html https://www.idris-lang.org/pages/example.html