An error occurred while fetching folder content.
Forked from
Iris / stdpp
Source project has a limited visibility.
Robbert Krebbers
authored
Revert "`RelDecision` instance for `flip`, and make `flip` tc opaque to avoid loops due to eager unification." This reverts commit b81aa3aa.
| Name | Last commit | Last update |
|---|