[Agda-dev] Release 2.4.2.6

[Nils Anders Danielsson]

On 2016-02-04 17:41, Andrés Sicard-Ramírez wrote:
> Right now, we have 8 open bugs labelled with milestone 2.4.4 and priority-high
>
>    https://github.com/agda/agda/issues?utf8=%E2%9C%93&q=is%3Aopen+milestone%3A2.4.4+label%3Apriority-high+label%3Abug
>
> but there is only one regression related to the --without-K option
>
>    https://github.com/agda/agda/issues/1775

I think known important problems with new features should be fixed:

* Agda crashes badly for bad entry in .agda/libraries
   https://github.com/agda/agda/issues/1785

* Bug related to macro defined and used in a parametrised module
   https://github.com/agda/agda/issues/1538

* Display form/pragma bugs
   https://github.com/agda/agda/issues/1494

-- 
/NAD