Comment Lab 3

[BertLisser]

Exerc. 2

-- Assignment 2 (30 minutes)
testParse :: Form -> Bool
testParse form = show (head $ parse $ show form) == show form

can be simplified in

testParse :: Form -> Bool
testParse form = head $ parse $ show form) == form

Exerc. 4
-- Generator
createCnj :: Form -> Form -> Form
createCnj first second = Cnj [first, second]

createDsj :: Form -> Form -> Form
createDsj first second = Dsj [first, second]

formGen :: Int -> Gen Form
formGen n
  | n <= 0 = fmap Prop (choose (1,200))
  | n > 5 = formGen 5
  | otherwise = oneof [
      fmap Neg (formGen (n - 1)),                         -- Negation
      liftM2 createDsj (formGen (n-1) ) (formGen (n-2)),   -- Disjunctive
      liftM2 createCnj (formGen (n-1) ) (formGen (n-2)),   -- Conjunctive
      liftM2 Impl (formGen (n - 1)) (formGen (n - 2)),    -- Implication
      liftM2 Equiv (formGen (n - 1)) (formGen (n - 2))]   -- Equivalence

too restricted.
Cnj and Dsj with 0 or 1 arguments must be generated too.