From 135ce23bd188c9351c8e9dde783a713b72dff8f3 Mon Sep 17 00:00:00 2001 From: sanine Date: Sun, 3 Dec 2023 23:44:33 -0600 Subject: implement Combinable for LatticePropList --- src/Proposal.hs | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 src/Proposal.hs (limited to 'src/Proposal.hs') diff --git a/src/Proposal.hs b/src/Proposal.hs new file mode 100644 index 0000000..dd2ea84 --- /dev/null +++ b/src/Proposal.hs @@ -0,0 +1,7 @@ +module Proposal + ( + ) where + + +class Flag a where + compatibleFlag :: a -> a -> Bool -- cgit v1.2.1