aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.envrc12logplain
-rw-r--r--.gitignore15logplain
-rw-r--r--README.md124logplain
d---------class75logplain
-rw-r--r--flake.lock2899logplain
-rw-r--r--flake.nix1272logplain
d---------haskell171logplain
d---------paper109logplain
d---------slides109logplain
d---------tex109logplain