[Agda] agda semantics

[Nils Anders Danielsson]

On 2011-03-01 00:04, Andreas Abel wrote:
> Unpleasantly, this sometimes makes a difference.  See
>
> http://code.google.com/p/agda/issues/detail?id=365

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

-- 
/NAD