Positivity checker performance [Re: [Agda] Agda dies trying to prove transitivity]

Nils Anders Danielsson nad at cse.gu.se
Thu Jun 18 11:41:39 CEST 2015


On 2015-06-12 08:53, Andreas Abel wrote:
> I improved the performance of the positivity checker.

I've implemented more optimisations.

-- 
/NAD


More information about the Agda mailing list