[Agda] type check cost

Nils Anders Danielsson nad at cse.gu.se
Thu Oct 8 11:05:18 CEST 2015

Previous message: [Agda] type check cost
Next message: [Agda] type check cost
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2015-10-07 22:44, Sergei Meshveliani wrote:
> Please, see the attachment.

Thanks, this looks like a bug:

   https://github.com/agda/agda/issues/1681

-- 
/NAD

Previous message: [Agda] type check cost
Next message: [Agda] type check cost
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list