36 ms·
Idris does well here: https://www.idris-lang.org/docs/current/contrib_doc/docs/Data.Nat.html#Data.Nat.divMod https://www.idris-lang.org/docs/current/contrib_do
by cies 6y ago
Idris does well here:
https://www.idris-lang.org/docs/current/contrib_doc/docs/Data.Nat.html#Data.Nat.divMod https://www.idris-lang.org/docs/current/contrib_doc/docs/Dat...