Name		Name	Last commit message	Last commit date
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

23 stars

17 watching

Report repository

Releases

Packages

Contributors

Languages