Idris 0.9.15.1 released | IdrisA new version of Idris, 0.9.15.1, has been released. You can find this on hackage, or from the download page. The tutorial has also been updated. Thanks as always to everyone who has contributed, either with code, documentation or by testing and reporting issues. You can find the names of all contributors in the CONTRIBUTORS file in the source repository. Idris is still research software, so we ex
EvenOdd in Agda, Idris, Haskell, Scala - BAM Weblog
