[Agda] Does the order of patterns matter?

[Nils Anders Danielsson]

On 2012-09-29 01:00, Martin Escardo wrote:
> Except that the compilation into patterns doesn't seem to happen
> internally.

Case-trees are used internally.

-- 
/NAD