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

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.