Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .envrc | 172 | logplain |
-rw-r--r-- | default.nix | 388 | logplain |
-rw-r--r-- | flake.lock | 992 | logplain |
-rw-r--r-- | flake.nix | 577 | logplain |
-rw-r--r-- | logo-running.pdf | 4899 | logplain |
-rw-r--r-- | logo.pdf | 7899 | logplain |
-rw-r--r-- | references.bib | 25033 | logplain |
-rw-r--r-- | shell.nix | 643 | logplain |
-rw-r--r-- | slides.tex | 3340 | logplain |
-rw-r--r-- | tex.nix | 775 | logplain |