[Agda] Internal error at src/full/Agda/TypeChecking/Substitute.hs:144

Helmut Grohne grohne at cs.uni-bonn.de
Wed Oct 15 14:27:11 CEST 2014


On Wed, Oct 15, 2014 at 07:16:55AM -0500, Andrés Sicard-Ramírez wrote:
> Yes. Report the issue in https://code.google.com/p/agda/issues/list please.

Oh. I should have checked the issue tracker before crafting an example.
This is another reproducer of
https://code.google.com/p/agda/issues/detail?id=1282.

Helmut


More information about the Agda mailing list