3 ms·
it's technically false for Haskell, but is considered mostly good practice. It would be true for Idris.
by Tainnor 3y ago
it's technically false for Haskell, but is considered mostly good practice. It would be true for Idris.
loading thread…
3 ms·