[Agda] agda halting problem

[Nils Anders Danielsson]

On 2012-07-05 20:02, Wolfram Kahl wrote:
> I suspect that certain syntax errors can make Agda loop (or look like
> it's looping), so look out for that first.

That sounds odd. Please file a bug report if you encounter such an
example again.

-- 
/NAD