summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore131logplain
-rw-r--r--abstract.tex954logplain
-rw-r--r--conclusion.tex1586logplain
-rw-r--r--cover.tex444logplain
d---------edit-lens212logplain
d---------gup135logplain
-rw-r--r--implementation.tex5964logplain
d---------interactive-edit-lens181logplain
-rw-r--r--intro.tex9792logplain
-rw-r--r--literature.md5539logplain
-rw-r--r--literature.meta.yml73logplain
-rw-r--r--literature.meta.yml.gup137logplain
d---------literature2789logplain
-rw-r--r--org.tex501logplain
-rw-r--r--presentation.deps80logplain
-rw-r--r--presentation.meta.yml1008logplain
-rw-r--r--presentation.tex12175logplain
d---------presentation122logplain
-rw-r--r--sigillum.pdf69369logplain
-rw-r--r--sigillum.pdf_tex2056logplain
-rw-r--r--sigillum.svg100499logplain
-rw-r--r--stack.nix197logplain
-rw-r--r--stack.yaml396logplain
-rw-r--r--template.tex12077logplain
-rw-r--r--thesis.args23logplain
-rw-r--r--thesis.deps139logplain
-rw-r--r--thesis.meta.yml.gup710logplain
-rwxr-xr-xthesis.pdf.gup357logplain
-rw-r--r--thesis.tex1162logplain
-rw-r--r--title.tex745logplain
-rw-r--r--topic.md946logplain