Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
It is based on type classes and can it be tuned by providing instances, for example, instances can be provided to mark that certain expressions are closed.
Robbert Krebbers authoredIt is based on type classes and can it be tuned by providing instances, for example, instances can be provided to mark that certain expressions are closed.
