pisigma-0.2.1: A dependently typed core language
Language.PiSigma.Parser
parse :: Parser a -> SourceName -> String -> Either ParseError aSource
sPhrase :: Parser PhraseSource
sProg :: Parser ProgSource
s2Terms :: Parser (Term, Term)Source
sTerm :: Parser TermSource