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

[Andrés Sicard-Ramírez]

On 15 October 2014 06:15, Helmut Grohne <grohne at cs.uni-bonn.de> wrote:

> Is this also reproducible on the development version of Agda?
>

Yes. Report the issue in https://code.google.com/p/agda/issues/list please.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141015/8bc52fba/attachment.html