[Agda] New user question. Why does Agda reject my program.

[Nils Anders Danielsson]

On 2011-04-03 12:00, Jesper Louis Andersen wrote:
> Agda 2.2.10's Emacs mode places a big fat red sticker on the 'merge'
> definition, but I can't see why it does so. My question is thus: Why?

See the following thread:

   Type and termination checking around with clauses
   http://thread.gmane.org/gmane.comp.lang.agda/91/

-- 
/NAD