Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This gets rid of the (ambiguous) notation %l, because we can declare LitLoc as a coercion. It also shortens the code.
Robbert Krebbers authoredThis gets rid of the (ambiguous) notation %l, because we can declare LitLoc as a coercion. It also shortens the code.
