intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Substitute arguments in parameters hints

Open valis opened this issue 5 years ago • 0 comments

Implicit arguments can be substituted with ?x, where x is the name of the argument. Also, if the expression is type-checked, then the argument can be substituted with the inferred expression.

valis avatar Feb 21 '20 20:02 valis