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
All 5 comments
Sent out a release candidate. Under tag v1.4-rc for those who want to check it out from Github.
MatthewDaggitt
on 31 Aug 2020
Typos in CHANGELOG to fix before release:
fromℕ<-irrelevant : m ≡ n → fromℕ< m<o ≡ fromℕ< n<o(should becongnotirrelevent) (arguments can be implicit)assigneed
MatthewDaggitt
on 31 Aug 2020
The release has been made. Thanks to everyone who contributed!
MatthewDaggitt
on 18 Sep 2020
Deployed the docs to http://agda.github.io/agda-stdlib/v1.4/
gallais
on 18 Sep 2020
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?
MatthewDaggitt
on 21 Sep 2020
Related issues
oisdk
·
7Comments
MatthewDaggitt
·
8Comments
masaeedu
·
5Comments
HuStmpHrrr
·
3Comments
WolframKahl
·
5Comments
Most helpful comment
Sent out a release candidate. Under tag
v1.4-rcfor those who want to check it out from Github.