Release v1.4

[MatthewDaggitt]

Given the amount of contributions we've had recently, seems like its time to start thinking about a release of version 1.4. I'll try and put together a release candidate to advertise on the mailing list this week, with the aim of making the full release towards the end of the month.

As always, if there's anything in particularly people would like to make it in, please do let us know!

[MatthewDaggitt]

Sent out a release candidate. Under tag v1.4-rc for those who want to check it out from Github.

[MatthewDaggitt]

Typos in CHANGELOG to fix before release:

• fromℕ<-irrelevant : m ≡ n → fromℕ< m<o ≡ fromℕ< n<o (should be cong not irrelevent) (arguments can be implicit)
• assigneed

[MatthewDaggitt]

The release has been made. Thanks to everyone who contributed!

[gallais]

Deployed the docs to http://agda.github.io/agda-stdlib/v1.4/

[MatthewDaggitt]

Deployed the docs to http://agda.github.io/agda-stdlib/v1.4/

Any chance you could add instructions for how to do so to the release guide? Just so that if in future if you disappear we still have the procedure documented?