/cbpv-in-agda

Formalization of Call-By-Push-Value, augmented with effect tracking

Primary LanguageAgda

Watchers