Repository navigation

Rome

Public

About

Mechanizations in Agda of various row-typed calculi

Custom properties

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
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.

@ahubers: This repository is out of date and will be archived as soon as a suitable alternative is in place.

About

Mechanizations in Agda of various row-typed calculi

Custom properties

1 star

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages