2 ms·

Idris does well here: https://www.idris-lang.org/docs/current/prelude_doc/docs/Prelude.List.html#Prelude.List.head https://www.idris-lang.org/docs/current/prel

by cies 6y ago

Idris does well here: https://www.idris-lang.org/docs/current/prelude_doc/docs/Prelude.List.html#Prelude.List.head https://www.idris-lang.org/docs/current/prelude_doc/docs/Pre...'