GitHub - meditans/minimal-origin: Delay monad study · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
Calculus.agda		Calculus.agda
Delay.agda		Delay.agda
Examples.agda		Examples.agda
Termination.agda		Termination.agda

About

Delay monad study

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%