CS代考 {-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-} module Language where Copyright By PowCoder代写 加微信 powcoder import Data.Maybe data Expression = EAnd (Expression,Expression) | EOr (Expression,Expression) | ENot Expression | EVariable String | EBase Bool deriving (Ord,Eq) expressionSize :: Expression -> Int expressionSize (EAnd (e1,e2)) = 1+expressionSize e1+expressionSize e2 expressionSize (EOr (e1,e2)) = 1+expressionSize e1+expressionSize e2 expressionSize (ENot e) […]
CS代考 {-# OPTIONS_GHC -Wno-unrecognised-pragmas #-} Read More »