packages feed

Agda-2.3.2.2: test/fail/CopatternNonterminating.err

Termination checking failed for the following functions:
  illdefined
Problematic calls:
  illdefined
    (at CopatternNonterminating.agda:17,28-38)
  illdefined
    (at CopatternNonterminating.agda:18,28-38)