From 135ce23bd188c9351c8e9dde783a713b72dff8f3 Mon Sep 17 00:00:00 2001
From: sanine <sanine.not@pm.me>
Date: Sun, 3 Dec 2023 23:44:33 -0600
Subject: implement Combinable for LatticePropList

---
 test/ProposalTest.hs | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 test/ProposalTest.hs

(limited to 'test/ProposalTest.hs')

diff --git a/test/ProposalTest.hs b/test/ProposalTest.hs
new file mode 100644
index 0000000..1b78c69
--- /dev/null
+++ b/test/ProposalTest.hs
@@ -0,0 +1,10 @@
+module ProposalTest (suite) where
+
+import Test.Tasty
+import Test.Tasty.HUnit
+import Proposal 
+
+suite :: TestTree
+suite = testGroup "proposal tests" $
+  [
+  ]
-- 
cgit v1.2.1