Forked from
Iris / Iris
8212 commits behind the upstream repository.
-
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.
