diff options
author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-16 20:29:43 -0600 |
---|---|---|
committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2024-02-16 20:29:43 -0600 |
commit | 14a4f246b61e763cea32281e3a5f73bde38fe5d4 (patch) | |
tree | 4cdb5bdae2abcc8d8f1f80a50e017951da7de649 /.gitignore | |
parent | 5da77fee409e8f4d80563c4283bfe71c8e272266 (diff) |
Add helper function for merging finite sets
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -1,3 +1 @@ -.stack-work/ -*~ -circuits.cabal +*.agdai |