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