Skip to content

Commit

Permalink
only Show instance for Boolean.
Browse files Browse the repository at this point in the history
  • Loading branch information
sebfisch committed Jan 30, 2009
1 parent 2cbc08b commit 7081ac4
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Data/Boolean.hs
Expand Up @@ -40,6 +40,7 @@ data Boolean
| Boolean :&&: Boolean
-- | and disjunction of boolean formulas.
| Boolean :||: Boolean
deriving Show

-- | Literals are variables that occur either positively or negatively.
--
Expand Down

0 comments on commit 7081ac4

Please sign in to comment.