aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.envrc10logplain
-rw-r--r--.gitignore9logplain
-rw-r--r--.gitlab-ci.yml458logplain
-rw-r--r--README.md234logplain
-rw-r--r--flake.lock564logplain
-rw-r--r--flake.nix904logplain
-rw-r--r--heidelberg.tex19065logplain
-rw-r--r--shape.tex1552logplain
-rw-r--r--shapes.tex3121logplain