/PTSemForEffects

A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"

Primary LanguageCoq

No issues in this repository yet.