[Agda-dev] Release 2.4.2.6

[Andrés Sicard-Ramírez]

On 4 February 2016 at 12:47, Nils Anders Danielsson <nad at cse.gu.se> wrote:
> 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

Ulf fixed/closed the above issues.


-- 
Andrés