/

• .gitignore
• conclusion.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
• stack.nix
• stack.yaml
• thesis.args
• thesis.deps
• thesis.meta.yml.gup
• thesis.pdf.gup
• thesis.tex
• topic.md