Initial FOIL implemenation.

argumentcomputer · Aug 15, 2023 · 29f423b · 29f423b
1 parent b63f1db
commit 29f423b
Show file tree

Hide file tree

Showing 15 changed files with 3,911 additions and 203 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,6 +3,7 @@ result*
 /scratch
 /.direnv
 *.commit
+.direnv/
 
 # Configurations for VSCode
 .vscode/