Reversible-Hypercoercions

Useful in mutable references.

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
Report		Report
.gitignore		.gitignore
BisimHypercoercions.agda		BisimHypercoercions.agda
CastADT.agda		CastADT.agda
Hypercoercions.agda		Hypercoercions.agda
Machine.agda		Machine.agda
Observe.agda		Observe.agda
README.md		README.md
ReversibleHypercoercions.agda		ReversibleHypercoercions.agda
Terms.agda		Terms.agda
Types.agda		Types.agda
Values.agda		Values.agda
Variables.agda		Variables.agda

Provide feedback