summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore122logplain
d---------edit-lens212logplain
d---------gup135logplain
d---------interactive-edit-lens181logplain
-rw-r--r--literature.md5539logplain
-rw-r--r--literature.meta.yml73logplain
-rw-r--r--literature.meta.yml.gup137logplain
d---------literature2687logplain
-rw-r--r--stack.nix197logplain
-rw-r--r--stack.yaml366logplain
-rw-r--r--thesis.meta.yml.gup211logplain
-rwxr-xr-xthesis.pdf.gup271logplain
-rw-r--r--thesis.tex711logplain
-rw-r--r--topic.md946logplain