Closed christiaanb closed 6 years ago
It still uses ImplicitParameters under the hood, but that's because we need their magic inference rules.
ImplicitParameters
It still uses
ImplicitParameters
under the hood, but that's because we need their magic inference rules.