Lab3: Ex 4

[BertLisser]

Forgotten the first line module Lab3 where.
Forgotten in the definition:

-- Generate a random number between 1 and 4, and create a proposition that matches the number
-- 1: conjunction, 2: disjunction, 3: implication, 4: equivalence, 5: a Proposition
genPropHelper counter = do
    a <- genOp
    prop1 <- (genPropHelper (counter - 1))
    prop2 <- (genPropHelper (counter - 1))
    case a of 
        1 -> do
            return (Cnj [prop1, prop2])
        2 -> do
            return (Dsj [prop1, prop2])
        3 -> do
            return (Impl prop1 prop2)
        4 -> do
            return (Equiv prop1 prop2)
        5 -> do
            x <- genPropInt
            return (Prop x)

the negation Neg

OK (=6)