GitHub - rodepanda7/box-formalisation: This repository contains all agda code for the formalisation of the boxed lambda calculus discussed in my bachelor's thesis

Name		Name	Last commit message	Last commit date
Latest commit History 22 Commits
_build/2.7.0.1/agda		_build/2.7.0.1/agda
everything-I-dont-want-to-throw-away-yet		everything-I-dont-want-to-throw-away-yet
examples		examples
formalisation		formalisation
latex		latex
proofs		proofs
snippets		snippets
.gitignore		.gitignore