Idris 1.3.1 released

A new version of Idris, 1.3.1, has been released. You can find this on hackage, or from the download page. Documentation is available from docs.idris-lang.org.

This version fixes some issues with library dependencies, compilation with GHC 8.6, and some memory allocation issues in the run time system for the default C back end.