An error occurred while fetching folder content.
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 |
|---|