aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJacques Comeaux <jacquesrcomeaux@protonmail.com>2024-02-16 20:29:43 -0600
committerJacques Comeaux <jacquesrcomeaux@protonmail.com>2024-02-16 20:29:43 -0600
commit14a4f246b61e763cea32281e3a5f73bde38fe5d4 (patch)
tree4cdb5bdae2abcc8d8f1f80a50e017951da7de649 /.gitignore
parent5da77fee409e8f4d80563c4283bfe71c8e272266 (diff)
Add helper function for merging finite sets
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore4
1 files changed, 1 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore
index d3e342b..171a389 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1 @@
-.stack-work/
-*~
-circuits.cabal
+*.agdai