Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
biblio.bib		biblio.bib
main.tex		main.tex
spec-arxiv.pdf		spec-arxiv.pdf
spec-arxiv.tex		spec-arxiv.tex
spec.pdf		spec.pdf
spec.tex		spec.tex

Repository files navigation

cedille-core-spec

Specification of the Cedille Core language

About

Specification of the Cedille Core language

Report repository

Releases 1

Version 1 Latest

Packages

No packages published

Languages