lastland/PTSemForEffects
A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"
Coq
No issues in this repository yet.
A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"
Coq
No issues in this repository yet.