librelist archives

« back to archive

EvenOdd in Agda, Idris, Haskell, Scala

EvenOdd in Agda, Idris, Haskell, Scala

From:
Shantanu Kumar
Date:
2014-01-24 @ 09:24
Hi,

Did anybody notice this?

http://brianmckenna.org/blog/evenodd_agda_idris_haskell_scala

Especially, quoting from the article, "Type level programming in Haskell
and Scala is a bit annoying..".

Shantanu