Merge remote-tracking branch 'origin/chore/gitignore-agda-direnv-bak'

hyperpolymath · hyperpolymath · commit b659648c71f3 · 2026-05-18T09:42:02.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,10 @@
 arghda-core/target/
 .claude/
 .agda/
+
+# direnv / nix local cache
+.direnv/
+
+# editor / tooling backup files
+*.bak
+*~
