summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore131logplain
d---------edit-lens212logplain
d---------gup135logplain
-rw-r--r--implementation.tex4904logplain
d---------interactive-edit-lens181logplain
-rw-r--r--intro.tex8838logplain
-rw-r--r--literature.md5539logplain
-rw-r--r--literature.meta.yml73logplain
-rw-r--r--literature.meta.yml.gup137logplain
d---------literature2789logplain
-rw-r--r--presentation.deps80logplain
-rw-r--r--presentation.meta.yml1008logplain
-rw-r--r--presentation.tex12175logplain
d---------presentation122logplain
-rw-r--r--stack.nix197logplain
-rw-r--r--stack.yaml396logplain
-rw-r--r--thesis.args19logplain
-rw-r--r--thesis.deps68logplain
-rw-r--r--thesis.meta.yml.gup1225logplain
-rwxr-xr-xthesis.pdf.gup357logplain
-rw-r--r--thesis.tex1569logplain
-rw-r--r--topic.md946logplain