initial commit

This commit is contained in:
Jakob Lechner 2025-07-17 00:45:59 +02:00
commit 1efde7694d
22 changed files with 1038 additions and 0 deletions

9
.gitignore vendored Normal file
View file

@ -0,0 +1,9 @@
# Nix
result*
.direnv
# automatically generated
.pre-commit-config.yaml
# mdBook
/book/*