[Agda] Transitive-on

[Nils Anders Danielsson]

On 2011-11-17 14:59, Wolfram Kahl wrote:
> The list of unresolved metavariables in the Goal buffer in Emacs
> contains location and type information that MAY help to find out
> which implicit argument needs to be explicitly supplied.
>
> (If that list also contained the argument name,
>   that would be sooo helpful --- optimistic feature request...)

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

-- 
/NAD