Name		Name	Last commit message	Last commit date
Latest commit History 1,027 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

Repository files navigation

Rωμ (Rome)

Operational semantics of Rome.

About

Mechanizations in Agda of various row-typed calculi

Custom properties

Report repository

Releases 1

POPL 2026 submission Latest

Packages

Contributors

Languages