"README.md" did not exist on "9331a3716bf288a1d01d9d0c11a7c03978fef41c"
Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
So, only use the type class for contractive functors.
Robbert Krebbers authoredSo, only use the type class for contractive functors.
