diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..3550a30
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake
diff --git a/.gitignore b/.gitignore
index c2dfea8..51d5d10 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ result*
 *.ll
 
 a.out
+.direnv