Idris 1.1.1 released

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.