Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This seems to shorten type class search.
Robbert Krebbers authoredThis seems to shorten type class search.
This seems to shorten type class search.
This seems to shorten type class search.