Commit 65a944f6 authored by Nicolas Lenz's avatar Nicolas Lenz
Browse files


parent 88e62fa7
Pipeline #714 passed with stages
in 6 minutes and 37 seconds
# Bachelor Thesis
**View as [PDF](**
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*.
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.
You can find the PDF file [here]( The implementation of Lightfold can be found [here](
The implementation of Lightfold can be found [here](
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](
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