Forked from
Iris / Iris
5269 commits behind the upstream repository.
-
Robbert Krebbers authored
Big ops over list with a cons reduce, hence these just follow immediately from conversion.
Robbert Krebbers authoredBig ops over list with a cons reduce, hence these just follow immediately from conversion.
class_instances.v 31.11 KiB