Skip to content

Instantly share code, notes, and snippets.

@quickdudley
quickdudley / DeMorgan.hs
Last active June 29, 2017 00:29 — forked from 5outh/DeMorgan.hs
DeMorgan
{-# LANGUAGE NoMonomorphismRestriction #-}
import Text.ParserCombinators.Parsec
import Text.ParserCombinators.Parsec.Token hiding (parens)
import Text.ParserCombinators.Parsec.Expr
import Control.Applicative hiding ((<|>))
import Control.Monad
import Prelude hiding (not)
data Expr = Not Expr | And Expr Expr | Or Expr Expr | Var Char | SubExpr Expr deriving Eq