A new version of Idris, 1.1.1, has been released. You can find this on hackage, or from the download page. Documentation is available from
docs.idris-lang.org. This includes the following updates, fixing some issues with version 1.1.0:
- Fixed installation issue
- Fixed a potential segfault when concatenating strings
- Erasure analysis is now faster thanks to a bit smarter constraint solving.