From 14a4f246b61e763cea32281e3a5f73bde38fe5d4 Mon Sep 17 00:00:00 2001 From: Jacques Comeaux Date: Fri, 16 Feb 2024 20:29:43 -0600 Subject: Add helper function for merging finite sets --- .gitignore | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index d3e342b..171a389 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1 @@ -.stack-work/ -*~ -circuits.cabal +*.agdai -- cgit v1.2.3