Bachelor's Thesis

Overview repository

pdf: contains the latest compiled latex file
packages: contains all custom packages being used. The file defs.sty in this folder contains all macros

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
abstract		abstract
agda-code		agda-code
agda		agda
appendix		appendix
box-lambda-calculus		box-lambda-calculus
conclusions		conclusions
embeddings		embeddings
img		img
introduction		introduction
lambda-calculus		lambda-calculus
packages		packages
pdf		pdf
relatedwork		relatedwork
research		research
.gitignore		.gitignore
BachelorThesis.tex		BachelorThesis.tex
README.md		README.md
bibliography.bib		bibliography.bib