Skip to content

Instantly share code, notes, and snippets.

View Tautology.hs
import Data.List
import Data.Char
data Prop = Const Bool
|Var Char
|Not Prop
|And Prop Prop
|Implies Prop Prop
deriving Show