Idris released

A new version of Idris,, 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.