@@ -110,7 +110,9 @@ bool = parseTrue <|> parseFalse
110 pure False
110 pure False
112ident : Parser String
112ident : Parser String
114+ where xs : Parser (List Char)
113−ident = map pack [| letter :: many1 alphanum |]
115+ xs = [| letter :: many1 alphanum |]
115nat : Parser Int
117nat : Parser Int
116nat = do xs <- many digit
118nat = do xs <- many digit