Language.Lambda.SystemF.Parser
parseExpr :: Text -> Either ParseError (SystemFExpr Text Text) Source #
parseType :: Text -> Either ParseError (Ty Text) Source #