An mtl-like library for dealing with effects in Coq
Primary LanguageCoq
No issues in this repository yet.