diff options
| author | sanine <sanine.not@pm.me> | 2023-12-03 23:44:33 -0600 |
|---|---|---|
| committer | sanine <sanine.not@pm.me> | 2023-12-03 23:44:33 -0600 |
| commit | 135ce23bd188c9351c8e9dde783a713b72dff8f3 (patch) | |
| tree | 5d2338350279fef757b58da744a9776cc4b9164e /src/Proposal.hs | |
| parent | 450ac00012ba57fc70d655c5a8c4fb8eb5e6d5d3 (diff) | |
implement Combinable for LatticePropList
Diffstat (limited to 'src/Proposal.hs')
| -rw-r--r-- | src/Proposal.hs | 7 |
1 files changed, 7 insertions, 0 deletions
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 |