[Agda] Difference between "(f o g) x = .." and "(f o g) = \ x -> .."

[Nils Anders Danielsson]

On 2010-11-18 11:59, Edsko de Vries wrote:
> Is this expected behaviour?

I don't think so. My guess is that something isn't η-expanded properly,
which in turn means that with doesn't abstract in the right way. Please
report this as a bug.

-- 
/NAD