cedille / cedille-core-spec Public

forked from astump/cedille-core-spec

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Specification of the Cedille Core language

1 star 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
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

Report repository

Releases

Packages

No packages published

Languages

TeX 99.2%
Makefile 0.8%