Commit 93024642 authored by Ashley Yakeley's avatar Ashley Yakeley


 mention poly-kinded HasResolution class
parent 2efcc0f8
Pipeline #8190 canceled with stages
in 175 minutes and 5 seconds
......@@ -21,6 +21,8 @@
The type argument `r` is marked as `Inferred` to prevent it from
interfering with visible type application.
* Make `HasResolution` poly-kinded.
* Add `HasResolution` instances for `Nat`s.
## *TBA*
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment