A program translation implementing self-algebraic effects in Coq.
Primary LanguageCoqDo What The F*ck You Want To Public LicenseWTFPL