-
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.
103f5e8b
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.