README.md 834 Bytes
Newer Older
Nicolas Lenz's avatar
Nicolas Lenz committed
1
2
# Bachelor Thesis

Nicolas Lenz's avatar
Nicolas Lenz committed
3
4
**View as [PDF](https://research.pages.eisfunke.com/thesis-bachelor/thesis.pdf)**

Nicolas Lenz's avatar
Nicolas Lenz committed
5
This is my bachelor thesis titled *"Design and Algebraic Implementation of a Functional Programming Language"*, where I initally designed and implemented the dependently typed programming language *Lightfold*.
Nicolas Lenz's avatar
Nicolas Lenz committed
6

Nicolas Lenz's avatar
Nicolas Lenz committed
7
Lightfold is based on the dependently typed lambda calculus λΠ with a bidirectional type system and de Bruijn indices. The implementation is based on algebraic abstract data types.
Nicolas Lenz's avatar
Nicolas Lenz committed
8

Nicolas Lenz's avatar
Nicolas Lenz committed
9
The implementation of Lightfold can be found [here](https://git.eisfunke.com/software/lightfold/lightfold).
Nicolas Lenz's avatar
Nicolas Lenz committed
10

Nicolas Lenz's avatar
Nicolas Lenz committed
11
The document is built using Pandoc with a custom Pandoc filter and LaTeX template. Pretty snowflakes like the one on the title page can be found [here](https://git.eisfunke.com/document/snowflakes).
Nicolas Lenz's avatar
Nicolas Lenz committed
12

Nicolas Lenz's avatar
Nicolas Lenz committed
13
![CC-BY-SA-4.0](res/cc.png)