[Agda] Odd Type Checking Problem

[Nils Anders Danielsson]

On 2009-12-12 17:42, karim kanso wrote:
> Hello Agda users, recently I have encountered a strange problem.

Your problem seems to be related to the following longstanding bug:

  http://code.google.com/p/agda/issues/detail?id=118

--
/NAD