Name		Name	Last commit message	Last commit date
Makefile		Makefile
README.md		README.md
biblio.bib		biblio.bib
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

Custom properties

1 star

2 watching

Report repository

Releases

Packages

Contributors

Languages