Language.PiSigma.Parser

Documentation

parse :: Parser a -> SourceName -> String -> Either ParseError a

sPhrase :: Parser Phrase

sProg :: Parser Prog

s2Terms :: Parser (Term, Term)

sTerm :: Parser Term