There's been some major improvements in the works recently and a lot of new modules added. As I don't think Agda 2.6.1 is imminent, I'm vaguely thinking about making a release of v1.2 next month.
We can then time v1.3 to coincide with 2.6.1.
MatthewDaggitt
All 4 comments
Sounds like a good idea to me. I'll definitely want to have PR #925 ready in time. And agda-categories can take advantage of things sooner rather than later (levelOfTerm and levelOfType for example).
JacquesCarette
on 9 Oct 2019
Right, I think I've hit all the issues under the v1.2 milestone. I propose to merge in the outstanding pull requests next week and then aim for a release on the 9th/10th.
If anyone desperately wants anything to be included, now's the time to speak up :+1:
MatthewDaggitt
on 29 Oct 2019
Updated the CHANGELOG, feel free to have a read and let me know if I've missed anything. A few extra issues showed up whilst updating my own libraries to v1.3, but after the resulting PRs are merged in I'll make the release.
MatthewDaggitt
on 9 Nov 2019
Released
MatthewDaggitt
on 11 Nov 2019
Related issues
langston-barrett
路
7Comments
JacquesCarette
路
7Comments
MirceaS
路
3Comments
TOTBWF
路
4Comments
JacquesCarette
路
8Comments
Most helpful comment
Released