Stream: new members
????? (Feb 26 2020 at 23:55):
Is there a way to navigate to implicit parameters of functions in conversion mode?
Scott Morrison (Feb 27 2020 at 00:24):
Probably not, although it shouldn't be too hard to add a new tactic that allows this.
Last updated: May 15 2021 at 02:11 UTC