update flake

lukewilliamboswell · Sep 2, 2024 · eebb018 · eebb018
1 parent 78443f6
commit eebb018
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,5 +1,6 @@
+examples/optional
 examples/simple1
 examples/simple2
 examples/tuple
 .DS_Store
-generated-docs/
+generated-docs/
diff --git a/flake.lock b/flake.lock