Commit d3fe3ed3 authored by Nicolas Lenz's avatar Nicolas Lenz
Browse files

Update README.md

parent 1411be86
Pipeline #681 passed with stages
in 46 seconds
# Bachelor Thesis
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
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*.
You can find the PDF file [here](https://research.pages.eisfunke.com/thesis-bachelor/thesis.pdf).
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.
![CC-BY-SA-4.0](res/cc.png)
\ No newline at end of file
You can find the PDF file [here](https://research.pages.eisfunke.com/thesis-bachelor/thesis.pdf). The implementation of Lightfold can be found [here](https://git.eisfunke.com/software/lightfold/lightfold).
![CC-BY-SA-4.0](res/cc.png)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment