Commit 88e62fa7 authored by Nicolas Lenz's avatar Nicolas Lenz

Update README.md

parent 7f26f882
Pipeline #697 passed with stages
in 5 minutes and 31 seconds
......@@ -6,6 +6,6 @@ Lightfold is based on the dependently typed lambda calculus λΠ with a bidirect
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).
The document is built using Pandoc with a custom Pandoc filter and LaTeX template.
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).
![CC-BY-SA-4.0](res/cc.png)
Markdown is supported
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