## .gitignore
## Project-specific
/_build
/*.log
__pycache__
## Emacs
*~
*#
.auctex-auto
## Nix & direnv
/result
/.envrc
/.direnv
/.pre-commit-config.yaml
## .gitignore
## Project-specific
/_build
/*.log
__pycache__
## Emacs
*~
*#
.auctex-auto
## Nix & direnv
/result
/.envrc
/.direnv
/.pre-commit-config.yaml