Rωμ (Rome)

Operational semantics of Rome.

Name		Name	Last commit message	Last commit date
Latest commit History 1,026 Commits
Denotational		Denotational
Erased		Erased
IndexCalculus		IndexCalculus
Operational		Operational
Preludes		Preludes
Shared		Shared
.gitignore		.gitignore
CPP26-supp-mats.sh		CPP26-supp-mats.sh
POPL26-supp-mats.sh		POPL26-supp-mats.sh
Prelude.agda		Prelude.agda
README.md		README.md

Provide feedback