[Agda] Recursive instance search limited in depth

[Nils Anders Danielsson]

On 2013-11-04 18:04, Andreas Abel wrote:
> 2. When searching for an instance, take all local bindings into
> account plus the global 'instance' bindings.

Local /instance/ bindings.

-- 
/NAD