summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore86logplain
d---------edit-lens184logplain
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.gup225logplain
-rw-r--r--thesis.tex46logplain
-rw-r--r--topic.md946logplain