We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents c89fd23 + bccac6f commit eecd672Copy full SHA for eecd672
docs/docs/reference/new-types/implicit-function-types-spec.md
@@ -79,8 +79,7 @@ documentation](https://dotty.epfl.ch/docs/reference/dropped-features/limit22.htm
79
See the section on Expressiveness from [Simplicitly: foundations and
80
applications of implicit function
81
types](https://dl.acm.org/citation.cfm?id=3158130). I've extracted it in [this
82
-Gist](https://gist.github.com/OlivierBlanvillain/234d3927fe9e9c6fba074b53a7bd9
83
-592), it might easier to access than the pdf.
+Gist](https://gist.github.com/OlivierBlanvillain/234d3927fe9e9c6fba074b53a7bd9592), it might easier to access than the pdf.
84
85
### Type Checking
86
0 commit comments