Error
Looks like something went wrong!

About

Using the techniques of denotational design for modular arithmetic

denotational-semantics

Report repository

Releases

No releases published

Packages

No packages published

Languages

Agda 100.0%