[Agda-dev] 2.4.4 roadmap

[Ulf Norell]

Now that 2.4.2.4 is out the door I think we should start focusing on
getting 2.4.4 released. For that we should think about things that cannot
easily be done after the release (on maint-2.4.4), like language changes or
larger code refactorings.

I don't think we should worry about about bugs unless they are sever. Those
we can always fix later.

Looking at the issues tagged with 2.4.4 only #892 is about changing the
language. I should probably also fix #1407 since impossibles are never good.

If possible we should try to get the explicit substitution branch sorted
out and merged, and I'll have a think about the state of the reflection api
and where we'd want that to be for 2.4.4. What are other things we should
consider?

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150928/568347a2/attachment.html