Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 131 | logplain |
d--------- | edit-lens | 212 | logplain |
d--------- | gup | 135 | logplain |
-rw-r--r-- | implementation.tex | 4904 | logplain |
d--------- | interactive-edit-lens | 181 | logplain |
-rw-r--r-- | intro.tex | 8838 | logplain |
-rw-r--r-- | literature.md | 5539 | logplain |
-rw-r--r-- | literature.meta.yml | 73 | logplain |
-rw-r--r-- | literature.meta.yml.gup | 137 | logplain |
d--------- | literature | 2789 | logplain |
-rw-r--r-- | presentation.deps | 80 | logplain |
-rw-r--r-- | presentation.meta.yml | 1008 | logplain |
-rw-r--r-- | presentation.tex | 12175 | logplain |
d--------- | presentation | 122 | logplain |
-rw-r--r-- | stack.nix | 197 | logplain |
-rw-r--r-- | stack.yaml | 396 | logplain |
-rw-r--r-- | thesis.args | 19 | logplain |
-rw-r--r-- | thesis.deps | 68 | logplain |
-rw-r--r-- | thesis.meta.yml.gup | 1225 | logplain |
-rwxr-xr-x | thesis.pdf.gup | 357 | logplain |
-rw-r--r-- | thesis.tex | 1569 | logplain |
-rw-r--r-- | topic.md | 946 | logplain |