chore: ignore local Agda and tooling caches

hyperpolymath · hyperpolymath · commit e3f494282965 · 2026-05-18T09:39:49.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
+*~
