[Agda] yet another grinding reload

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Sat Apr 3 11:50:49 CEST 2010

Previous message: [Agda] yet another grinding reload
Next message: [Agda] ICFP 2010: Final Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2010-03-22 14:13, Conor McBride wrote:
> Probably I should tell it to have more stack: can anyone remind
> me how to do that?

+RTS -KxxM

--
/NAD

Previous message: [Agda] yet another grinding reload
Next message: [Agda] ICFP 2010: Final Call for Papers
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list