An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.
Ralf Jung
authored
Kill `{o,r,ur}Functor_diag` coercions, and rename into `{o,r,ur}Functor_apply`
Closes #240
See merge request iris/iris!413| Name | Last commit | Last update |
|---|---|---|
| .. | ||