Update the .gitignore

1 files changed, 6 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 4794d3be..c0c6fed6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,6 +15,9 @@ _build/
 *.byte
 *.native
 
+# We group everything here
+bin
+
 # oasis generated files
 setup.data
 setup.log
@@ -31,6 +34,9 @@ _opam/
 # Rust working directory
 rust-scripts/target/
 
+# Generated by Nix
+result
+
 # F*
 .depend
 *.hints