summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore86logplain
d---------edit-lens181logplain
d---------gup135logplain
-rw-r--r--literature.md5539logplain
-rw-r--r--literature.meta.yml.gup137logplain
d---------literature2687logplain
-rw-r--r--stack.nix199logplain
-rw-r--r--stack.yaml102logplain
-rw-r--r--thesis.meta.yml.gup211logplain
-rwxr-xr-xthesis.pdf.gup165logplain
-rw-r--r--thesis.tex371logplain
-rw-r--r--topic.md946logplain