rzk-0.7.5: An experimental proof assistant for synthetic ∞-categories
Safe HaskellNone
LanguageHaskell2010

Language.Rzk.Syntax.Par

Documentation

happyError :: [Token] -> Err a Source #

pParam :: [Token] -> Err Param Source #

pListParam :: [Token] -> Err [Param] Source #

pTerm7 :: [Token] -> Err Term Source #

pTerm5 :: [Token] -> Err Term Source #

pTerm4 :: [Token] -> Err Term Source #

pTerm3 :: [Token] -> Err Term Source #

pTerm2 :: [Token] -> Err Term Source #

pTerm1 :: [Token] -> Err Term Source #

pTerm6 :: [Token] -> Err Term Source #

pTerm :: [Token] -> Err Term Source #

pListTerm :: [Token] -> Err [Term] Source #