Forked from
Iris / Actris
Source project has a limited visibility.
-
Robbert Krebbers authored
Remove coercion `iMsg_car` and `Proper` instances to avoid one accidentally breaking the `iMsg` abstraction.
Robbert Krebbers authoredRemove coercion `iMsg_car` and `Proper` instances to avoid one accidentally breaking the `iMsg` abstraction.
