Zulip Chat Archive

Stream: triage

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


view this post on Zulip Random Issue Bot (Nov 10 2020 at 14:16):

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?

view this post on Zulip Eric Wieser (Nov 11 2020 at 10:33):

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

view this post on Zulip Eric Wieser (Nov 11 2020 at 12:16):

#4976


Last updated: May 09 2021 at 16:20 UTC