Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
coq		coq
ocaml		ocaml
.gitignore		.gitignore
README.md		README.md
appendix.pdf		appendix.pdf

Repository files navigation

Repository for paper "A Two-Level Linear Dependent Type Theory"

Organization

coq: contains the Coq formalization of the TLL type theory
ocaml: contains the TLL compiler implemented using OCaml
appendix: technical details not included in main paper

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published

Languages