Idris: Towards Version 1.0http://www.idris-lang.org/towards-version-1-0/ by frankpf • 10 years ago 2 0 10 years agoIDidris-lang.org