aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.envrc10logplain
-rw-r--r--.gitignore40logplain
-rw-r--r--.gitlab-ci.yml527logplain
-rw-r--r--README.md234logplain
-rw-r--r--flake.lock564logplain
-rw-r--r--flake.nix904logplain
-rw-r--r--heidelberg.tex19066logplain
-rw-r--r--shape.tex1552logplain
-rw-r--r--shapes.tex3121logplain