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 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.