A study of a simplified Call-By-Push-Value lambda-calculus in Coq.
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.