Name		Name	Last commit message	Last commit date
Latest commit History 124 Commits
beluga-code		beluga-code
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
STYLE.md		STYLE.md
Variables.ini		Variables.ini
bibi.bib		bibi.bib
book.tex		book.tex
cdsty.sty		cdsty.sty
chap-binders.tex		chap-binders.tex
chap-introduction.tex		chap-introduction.tex
chap-minml.tex		chap-minml.tex
chap-norm.tex		chap-norm.tex
chap-preface.tex		chap-preface.tex
chap-solutions.tex		chap-solutions.tex
eisberg.jpg		eisberg.jpg
lstextract.sty		lstextract.sty
prelude.tex		prelude.tex
top.tex		top.tex
writing-instructions.tex		writing-instructions.tex

Repository files navigation

Meta

Mechanizing Types and Programming Languages

About

Mechanizing Types and Programming Languages using Beluga

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 8

Languages