-
Robbert Krebbers authored
I made the list of iFunctors monomorphic to avoid having to deal with universe polymorphism, that is still somewhat flaky.
3897eaf4
I made the list of iFunctors monomorphic to avoid having to deal with universe polymorphism, that is still somewhat flaky.