/

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