issue #4660: Library note for when implicit arguments are...

Stream: triage

[Random Issue Bot]

Today I chose issue 4660 for discussion!

Library note for when implicit arguments are used instead of instances
Created by @Bryan Gin-ge Chen (@bryangingechen) on 2020-10-17
Labels: easy, needs-documentation

Is this issue still relevant? Any recent updates? Anyone making progress?

[Eric Wieser]

I've seen this in a few places too, and was wondering about it.

[Eric Wieser]

#4976