/
.gitignore
edit-lens
gup
implementation.tex
interactive-edit-lens
intro.tex
literature.md
literature.meta.yml
literature.meta.yml.gup
literature
presentation.deps
presentation.meta.yml
presentation.tex
presentation
stack.nix
stack.yaml
thesis.args
thesis.deps
thesis.meta.yml.gup
thesis.pdf.gup
thesis.tex
topic.md