| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.LambdaPi.Syntax.Par
Documentation
happyError :: [Token] -> Err a Source #
pListCommand :: [Token] -> Err [Command] Source #
pScopedTerm :: [Token] -> Err ScopedTerm Source #
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.LambdaPi.Syntax.Par
happyError :: [Token] -> Err a Source #
pListCommand :: [Token] -> Err [Command] Source #
pScopedTerm :: [Token] -> Err ScopedTerm Source #