Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
I made the list of iFunctors monomorphic to avoid having to deal with universe polymorphism, that is still somewhat flaky.
Robbert Krebbers authoredI made the list of iFunctors monomorphic to avoid having to deal with universe polymorphism, that is still somewhat flaky.
