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