[Agda] ANNOUNCE: Agda 2.4.2.5 release candidate

[Andrés Sicard-Ramírez]

On 15 December 2015 at 05:13, Jesper Cockx <Jesper at sikanda.be> wrote:
> I will try to find a machine to run the DoCon-A-0.03 test on, as I only have
> 8GB of ram in my system.

In my 6GB machine, I first create the required *.agdai files by
running Agda on some modules imported by the main mode. After I get
all the required *.agdai files, I can type-check the main module in my
machine.

-- 
Andrés