Idris 0.9.13.1 released

A new version of Idris, 0.9.13.1, has been released. You can find this on hackage, or from the download page.

This is a bug fix release: it fixes a problem with the interaction between lazy values and the new implementation of erasure introduced in 0.9.13, and slightly improves unification error messages.