[Agda] type check cost

Nils Anders Danielsson nad at cse.gu.se
Thu Oct 8 19:14:33 CEST 2015


On 2015-10-08 11:05, Nils Anders Danielsson wrote:
> Thanks, this looks like a bug:
>
>    https://github.com/agda/agda/issues/1681

The bug has now been fixed.

-- 
/NAD


More information about the Agda mailing list