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 7cf3410..7af713a 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ /result /TODO /docs/iamb.[15] +.direnv