/

• .gitignore
• abstract.tex
• conclusion.tex
• cover.tex
• edit-lens
• gup
• implementation.tex
• interactive-edit-lens
• intro.tex
• literature.md
• literature.meta.yml
• literature.meta.yml.gup
• literature
• org.tex
• presentation.deps
• presentation.meta.yml
• presentation.tex
• presentation
• sigillum.pdf
• sigillum.pdf_tex
• sigillum.svg
• stack.nix
• stack.yaml
• template.tex
• thesis.args
• thesis.deps
• thesis.meta.yml.gup
• thesis.pdf.gup
• thesis.tex
• title.tex
• topic.md