Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
coq		coq
impl		impl
spec		spec
.gitignore		.gitignore
README.md		README.md
README.pdf		README.pdf
appendix.pdf		appendix.pdf

Repository files navigation

Nested Composition

coq/ for Coq formalization of the calculus
spec/ for ott files
impl/ for Haskell implementation of the calculus
README.pdf for building instructions

About

The Essence of Nested Composition

Report repository

Releases

No releases published

Packages

Contributors

Languages