On 2011-11-22 22:35, Ramana Kumar wrote:
> I could remove the yellow by providing and repeating some implicit arguments:
> S<-trans {i} {j} {k} = IsStrictTotalOrder.trans StringISTO {i} {j} {k}
>
> Should these ought to be automatically inferred?
There is no guarantee that implicit arguments will be inferred
automatically.
--
/NAD