-- | ProcExpr ::= proc ({Identifier}*) Expression
procExpr :: Parser Expression
procExpr = do
  keyWord "proc"
  params <- parens . many $ identifier
  body <- expression
  return $ ProcExpr params body

-- | CallExpr ::= (Expression {Expression}*)
procExpr :: Parser Expression
procExpr = do
  keyWord "proc"
  params <- parens . many $ identifier
  body <- expression
  return $ ProcExpr params body

-- | CallExpr ::= (Expression {Expression}*)
procExpr = do
  keyWord "proc"
  params <- parens . many $ identifier
  body <- expression
  return $ ProcExpr params body

-- | CallExpr ::= (Expression {Expression}*)