Idris 1.0 Released | IdrisIdris version 1.0 has been released. You can find it on hackage or from the download page. Documentation is available from docs.idris-lang.org. Thanks to everyone who has contributed, whether by providing code, documentation, testing, issue reports, or encouragement. You can find the names of the contributors in the source repository. What do we mean by “1.0”? Idris version 1.0 corresponds to the
Elm - delightful language for reliable web applications
