@@ -58,6 +58,10 @@ listTerm = (do { try $ string "[markdown|"
5858parensTerm = parens $ choice
5959 [ do op <- anyOp
6060 return . Lambda "x" . Lambda "y" $ Binop op (Var "x") (Var "y")
61+ , do let comma = char ',' <?> "comma ','"
62+ commas <- comma >> many (whitespace >> comma)
63+ let vars = map (('v':) . show) [ 0 .. length commas + 1 ]
64+ return $ foldr Lambda (tuple $ map Var vars) (vars)
6165 , do es <- commaSep expr
6266 return $ case es of { [e] -> e; _ -> tuple es }
6367 ]