Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Since functor instances are just used as combinators, there is really no need for functors that are not contractive.
Robbert Krebbers authoredSince functor instances are just used as combinators, there is really no need for functors that are not contractive.
