[Agda] Type-checker evaluator performance

Liam O'Connor liamoc at cse.unsw.edu.au
Mon Feb 1 17:04:40 CET 2016


Also runs for ~10mins then OOM. That’s with sharing.

--  
Liam

On 2 February 2016 at 2:52:46 AM, effectfully (effectfully at gmail.com) wrote:
> Then what about (is-just petersons-search)?
>  



More information about the Agda mailing list