EvenOdd in Agda, Idris, Haskell, Scalabrianmckenna.org1 point·harveywi··0 commentsOpen articleSaveView on HN