/aopa

Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

Primary LanguageAgda

No issues in this repository yet.