Recursive Descent Parser

• -- Additive  Multitive '+' Additive

• -- | Multitive

• pAdditive :: String -> Result Int

• pAdditive =

• (do l <- pMultitive

• char '+'

• r <- pAdditive

• return (l + r))

• <|> (do pMultitive)