diff --git a/.gitignore b/.gitignore index 9d820467..5ced6cbf 100644 --- a/.gitignore +++ b/.gitignore @@ -272,6 +272,9 @@ cabal.project.local* # Lean 4 .lake/ +# Nix +/result + zz-misc/ vue-implementation/