/

• .gitignore
• edit-lens
• gup
• interactive-edit-lens
• literature.md
• literature.meta.yml
• literature.meta.yml.gup
• literature
• stack.nix
• stack.yaml
• thesis.meta.yml.gup
• thesis.pdf.gup
• thesis.tex
• topic.md