S | |
1 (Type/Class) | Agda.Auto.Convert |
2 (Data Constructor) | Agda.Auto.Convert |
sameVars | Agda.TypeChecking.Conversion |
sample | Agda.Utils.QuickCheck |
sample' | Agda.Utils.QuickCheck |
satisfy | Agda.Utils.ReadP |
sccomcount | Agda.Auto.NarrowingSearch |
scflip | Agda.Auto.NarrowingSearch |
sChecked | Agda.Interaction.GhciTop |
SClause | Agda.TypeChecking.Coverage |
sConsts | Agda.Auto.Convert |
Scope | |
1 (Type/Class) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
3 (Type/Class) | Agda.Utils.Warshall |
ScopeCheckDeclaration | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ScopeCheckDefinition | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ScopeCheckExpr | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
scopeCheckImport | Agda.Interaction.Imports |
ScopeCheckLHS | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
scopeCurrent | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
ScopedDecl | Agda.Syntax.Abstract |
ScopedDef | Agda.Syntax.Abstract |
ScopedExpr | Agda.Syntax.Abstract |
scopeImported | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeImports | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
ScopeInfo | |
1 (Type/Class) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeLocals | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeLookup | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
ScopeM | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
scopeModules | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeName | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeNameSpace | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopeParents | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopePrecedence | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopePrivate | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scopePublic | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
scPats | Agda.TypeChecking.Coverage |
scPerm | Agda.TypeChecking.Coverage |
scsub1 | Agda.Auto.NarrowingSearch |
scsub2 | Agda.Auto.NarrowingSearch |
scSubst | Agda.TypeChecking.Coverage |
scTel | Agda.TypeChecking.Coverage |
sCurMeta | Agda.Auto.Convert |
secFreeVars | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
secondPart | Agda.TypeChecking.Telescope |
secTelescope | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Section | |
1 (Data Constructor) | Agda.Syntax.Abstract |
2 (Type/Class) | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
3 (Data Constructor) | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Sections | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
semi | Agda.Utils.Pretty |
SemiRing | |
1 (Type/Class) | Agda.Utils.SemiRing |
2 (Type/Class) | Agda.Termination.Semiring |
Semiring | |
1 (Type/Class) | Agda.Termination.Semiring |
2 (Data Constructor) | Agda.Termination.Semiring |
semiringInvariant | Agda.Termination.Semiring |
sep | |
1 (Function) | Agda.Utils.Pretty |
2 (Function) | Agda.TypeChecking.Pretty |
sepBy | Agda.Utils.ReadP |
sepBy1 | Agda.Utils.ReadP |
seqc | Agda.Auto.NarrowingSearch |
seqctx | Agda.Auto.CaseSplit |
sEqs | Agda.Auto.Convert |
Set | |
1 (Data Constructor) | Agda.Auto.Syntax |
2 (Data Constructor) | Agda.Syntax.Concrete |
3 (Data Constructor) | Agda.Syntax.Abstract |
set | Agda.Syntax.Internal |
set0 | Agda.Syntax.Internal |
setArgOccurrences | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setBuiltinThings | Agda.TypeChecking.Monad.Builtin |
setCommandLineOptions | |
1 (Function) | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
2 (Function) | Agda.Interaction.GhciTop |
setContextPrecedence | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
setCurrentModule | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
setCurrentRange | Agda.TypeChecking.Monad.Trace, Agda.TypeChecking.Monad |
setDecodedModules | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |
setFreqs | Agda.TypeChecking.Test.Generators |
setImportedSignature | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setIncludeDirs | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setInput | Agda.Syntax.Parser.LookAhead |
setInputFile | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setInterface | Agda.Compiler.MAlonzo.Misc |
setLastPos | Agda.Syntax.Parser.Monad |
setLexInput | Agda.Syntax.Parser.Alex |
setLocalVars | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
setMutualBlock | Agda.TypeChecking.Monad.Mutual, Agda.TypeChecking.Monad |
SetN | Agda.Syntax.Concrete |
setOptionsFromPragma | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setParsePos | Agda.Syntax.Parser.Monad |
setPolarity | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setPragmaOptions | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setPrevToken | Agda.Syntax.Parser.Monad |
SetRange | |
1 (Type/Class) | Agda.Syntax.Position, Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
setRange | Agda.Syntax.Position, Agda.Interaction.GhciTop |
setScope | Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad |
setScopeAccess | Agda.Syntax.Scope.Base, Agda.Interaction.GhciTop |
setShowImplicitArguments | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
setSignature | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
setTopLevelModule | Agda.TypeChecking.Monad.State, Agda.TypeChecking.Monad |
setVisitedModules | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |
several | Agda.Interaction.Highlighting.Precise |
ShadowedModule | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeApplicationOf | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeAppliedToTheDatatypeParameters | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeASort | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeEmpty | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBePi | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldBeRecordType | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
ShouldEndInApplicationOfTheDatatype | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
shouldEtaContractImplicit | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
shouldReifyInteractionPoints | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
showA | Agda.Syntax.Abstract.Pretty |
showATop | Agda.Syntax.Abstract.Pretty |
showChar' | Agda.Syntax.Concrete.Pretty |
showComparison | Agda.Interaction.BasicOps |
showConstraints | Agda.Interaction.CommandLine.CommandLine |
showContext | Agda.Interaction.CommandLine.CommandLine |
showHighlightingInfo | Agda.Interaction.Highlighting.Emacs |
showImplicitArgs | Agda.Interaction.GhciTop |
showImplicitArguments | Agda.TypeChecking.Monad.Options, Agda.TypeChecking.Monad |
showIndex | Agda.Utils.String |
showMetas | Agda.Interaction.CommandLine.CommandLine |
showModuleContents | Agda.Interaction.GhciTop |
showNumIId | Agda.Interaction.GhciTop |
showPat | Agda.TypeChecking.With |
showQNameId | Agda.Syntax.Abstract.Name, Agda.Syntax.Internal, Agda.Syntax.Abstract, Agda.Interaction.GhciTop |
showScope | Agda.Interaction.CommandLine.CommandLine |
showStatus | Agda.Interaction.GhciTop |
showString' | Agda.Syntax.Concrete.Pretty |
shrink | Agda.Utils.QuickCheck |
Shrink2 | |
1 (Data Constructor) | Agda.Utils.QuickCheck |
2 (Type/Class) | Agda.Utils.QuickCheck |
ShrinkC | Agda.TypeChecking.Test.Generators |
shrinkC | Agda.TypeChecking.Test.Generators |
Shrinking | |
1 (Data Constructor) | Agda.Utils.QuickCheck |
2 (Type/Class) | Agda.Utils.QuickCheck |
shrinking | Agda.Utils.QuickCheck |
shrinkInit | Agda.Utils.QuickCheck |
shrinkIntegral | Agda.Utils.QuickCheck |
shrinkNothing | Agda.Utils.QuickCheck |
shrinkRealFrac | Agda.Utils.QuickCheck |
ShrinkState | Agda.Utils.QuickCheck |
shrinkState | Agda.Utils.QuickCheck |
Sidecondition | Agda.Auto.NarrowingSearch |
Sig | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sigDefinitions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sigMName | Agda.Compiler.MAlonzo.Misc |
Signature | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sigSections | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
singleConstructorType | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
singleton | |
1 (Function) | Agda.Utils.Graph |
2 (Function) | Agda.Utils.Trie |
3 (Function) | Agda.Interaction.Highlighting.Precise |
SingletonRecords | Agda.TypeChecking.MetaVars, Agda.Interaction.GhciTop |
Size | |
1 (Type/Class) | Agda.Termination.SparseMatrix |
2 (Data Constructor) | Agda.Termination.SparseMatrix |
3 (Type/Class) | Agda.Termination.Matrix |
4 (Data Constructor) | Agda.Termination.Matrix |
size | |
1 (Function) | Agda.Utils.Size |
2 (Function) | Agda.Termination.SparseMatrix |
3 (Function) | Agda.Termination.Matrix |
4 (Function) | Agda.Termination.Lexicographic |
SizeConst | Agda.Utils.Warshall |
SizeConstraint | Agda.TypeChecking.SizedTypes |
Sized | Agda.Utils.Size |
sized | Agda.Utils.QuickCheck |
SizedList | |
1 (Type/Class) | Agda.TypeChecking.Test.Generators |
2 (Data Constructor) | Agda.TypeChecking.Test.Generators |
SizeExpr | |
1 (Type/Class) | Agda.Utils.Warshall |
2 (Type/Class) | Agda.TypeChecking.SizedTypes |
sizeExpr | Agda.TypeChecking.SizedTypes |
SizeInf | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeInvariant | |
1 (Function) | Agda.Termination.SparseMatrix |
2 (Function) | Agda.Termination.Matrix |
SizeMeta | Agda.TypeChecking.SizedTypes |
sizePolarity | Agda.TypeChecking.Polarity |
sizeRigid | Agda.Utils.Warshall |
SizeSuc | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeSuc | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeType | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
SizeVar | Agda.Utils.Warshall |
SizeView | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
sizeView | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
Skip | Agda.Auto.Syntax |
skipBlock | Agda.Syntax.Parser.Comments |
skipMany | Agda.Utils.ReadP |
skipMany1 | Agda.Utils.ReadP |
skipSpaces | Agda.Utils.ReadP |
sLub | Agda.Syntax.Internal |
sMainMeta | Agda.Auto.Convert |
smallestPos | Agda.Interaction.Highlighting.Precise |
Smart | |
1 (Data Constructor) | Agda.Utils.QuickCheck |
2 (Type/Class) | Agda.Utils.QuickCheck |
smashTel | Agda.Syntax.Concrete.Pretty |
sMetas | Agda.Auto.Convert |
Sol | Agda.Auto.CaseSplit |
Solution | Agda.Utils.Warshall |
solve | Agda.Utils.Warshall |
solveConstraint | Agda.TypeChecking.Constraints |
solveConstraints | Agda.TypeChecking.Constraints |
solveLevelConstraints | Agda.TypeChecking.UniversePolymorphism |
solveSizeConstraints | Agda.TypeChecking.SizedTypes |
SomeWhere | Agda.Syntax.Concrete |
Sort | |
1 (Data Constructor) | Agda.Auto.Syntax |
2 (Type/Class) | Agda.Auto.Syntax |
3 (Type/Class) | Agda.Syntax.Internal |
4 (Data Constructor) | Agda.Syntax.Internal |
sort | Agda.Syntax.Internal |
SortCmp | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sortFreq | Agda.TypeChecking.Test.Generators |
SortFreqs | |
1 (Type/Class) | Agda.TypeChecking.Test.Generators |
2 (Data Constructor) | Agda.TypeChecking.Test.Generators |
sortFreqs | Agda.TypeChecking.Test.Generators |
SortHead | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
sortInteractionPoints | Agda.Interaction.GhciTop |
sortOfConst | Agda.TypeChecking.Monad.Signature, Agda.TypeChecking.Monad |
source | Agda.Termination.CallGraph |
SourceToModule | Agda.Interaction.FindFile |
sourceToModule | Agda.Interaction.FindFile |
space | Agda.Utils.Pretty |
splashScreen | Agda.Interaction.CommandLine.CommandLine |
Split | Agda.TypeChecking.Rules.LHS.Problem |
split | Agda.TypeChecking.Coverage |
split' | Agda.TypeChecking.Coverage |
splitC | Agda.TypeChecking.CompiledClause |
SplitClause | Agda.TypeChecking.Coverage |
splitClause | Agda.TypeChecking.Coverage |
splitClauseWithAbs | Agda.TypeChecking.Coverage |
SplitError | |
1 (Type/Class) | Agda.TypeChecking.Rules.LHS.Problem |
2 (Type/Class) | Agda.TypeChecking.Coverage |
splitOn | Agda.TypeChecking.CompiledClause |
SplitOnIrrelevant | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
SplitPanic | Agda.TypeChecking.Rules.LHS.Problem |
splitPerm | Agda.TypeChecking.Telescope |
SplitProblem | Agda.TypeChecking.Rules.LHS.Problem |
splitProblem | Agda.TypeChecking.Rules.LHS.Split |
SplitTel | |
1 (Type/Class) | Agda.TypeChecking.Telescope |
2 (Data Constructor) | Agda.TypeChecking.Telescope |
splitTelescope | Agda.TypeChecking.Telescope |
square | |
1 (Function) | Agda.Termination.SparseMatrix |
2 (Function) | Agda.Termination.Matrix |
srcFile | Agda.Syntax.Position, Agda.Interaction.GhciTop |
SRes | Agda.Auto.NarrowingSearch |
sShowImplicitArguments | Agda.Interaction.GhciTop |
sSuc | Agda.Syntax.Internal |
Stack | Agda.TypeChecking.CompiledClause.Match |
standardOptions_ | Agda.Interaction.Options |
startPos | Agda.Syntax.Position, Agda.Interaction.GhciTop |
State | |
1 (Type/Class) | Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Interaction.GhciTop |
Statistics | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Status | |
1 (Type/Class) | Agda.Interaction.GhciTop |
2 (Data Constructor) | Agda.Interaction.GhciTop |
status | Agda.Interaction.GhciTop |
stBuiltinThings | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stConstraints | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stCurrentModule | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stdArgs | Agda.Utils.QuickCheck |
stDecodedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stdoutFlush | Agda.Utils.IO.Locale |
step | Agda.Compiler.Epic.Erasure |
stFreshThings | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stHaskellImports | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stImportedBuiltins | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stImportedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stImports | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stInteractionPoints | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stLocalBuiltins | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stMetaStore | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stModuleToSource | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stMutualBlocks | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
store | Agda.Utils.Pointer |
storeDecodedModule | Agda.TypeChecking.Monad.Imports, Agda.TypeChecking.Monad |
stPersistentOptions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stPragmaOptions | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Str | |
1 (Type/Class) | Agda.Utils.QuickCheck |
2 (Data Constructor) | Agda.Utils.Pretty |
3 (Type/Class) | Agda.TypeChecking.Primitive |
4 (Data Constructor) | Agda.TypeChecking.Primitive |
Strict | Agda.Syntax.Strict |
strict | Agda.Syntax.Strict |
String | Agda.Interaction.Highlighting.Precise |
string | Agda.Utils.ReadP |
stripImplicits | Agda.Syntax.Translation.InternalToAbstract, Agda.Interaction.GhciTop |
stripNoNames | Agda.Syntax.Scope.Monad, Agda.Interaction.GhciTop |
stripWithClausePatterns | Agda.TypeChecking.With |
stScope | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stSignature | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stStatistics | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
stVisitedModules | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
Style | |
1 (Type/Class) | Agda.Utils.Pretty |
2 (Data Constructor) | Agda.Utils.Pretty |
style | Agda.Utils.Pretty |
Sub | |
1 (Data Constructor) | Agda.Auto.Syntax |
2 (Type/Class) | Agda.TypeChecking.Rules.LHS.Unify |
sub | Agda.Auto.Syntax |
SubConstraints | |
1 (Type/Class) | Agda.Auto.NarrowingSearch |
2 (Data Constructor) | Agda.Auto.NarrowingSearch |
subi | Agda.Auto.Syntax |
Subst | Agda.TypeChecking.Substitute |
subst | |
1 (Function) | Agda.Compiler.Epic.AuxAST |
2 (Function) | Agda.TypeChecking.Substitute |
substBranch | Agda.Compiler.Epic.AuxAST |
substCC | Agda.Compiler.Epic.Forcing |
substCCBody | Agda.Compiler.Epic.Forcing |
Substitution | |
1 (Type/Class) | Agda.TypeChecking.Substitute |
2 (Type/Class) | Agda.TypeChecking.Rules.LHS.Problem |
substLit | Agda.Compiler.Epic.FromAgda |
substs | Agda.TypeChecking.Substitute |
substsCCBody | Agda.Compiler.Epic.Forcing |
substTerm | Agda.Compiler.Epic.FromAgda |
substUnder | Agda.TypeChecking.Substitute |
subsvars | Agda.Auto.SearchControl |
Suc | Agda.Syntax.Internal |
Success | Agda.Utils.QuickCheck |
suchThat | Agda.Utils.QuickCheck |
suchThatMaybe | Agda.Utils.QuickCheck |
sucName | Agda.TypeChecking.Level |
Suffix | |
1 (Type/Class) | Agda.Utils.Suffix |
2 (Type/Class) | Agda.Utils.List |
suffixView | Agda.Utils.Suffix |
supremum | Agda.Termination.CallGraph |
SymArrow | Agda.Syntax.Parser.Tokens |
SymAs | Agda.Syntax.Parser.Tokens |
SymBar | Agda.Syntax.Parser.Tokens |
Symbol | |
1 (Type/Class) | Agda.Syntax.Parser.Tokens |
2 (Data Constructor) | Agda.Interaction.Highlighting.Precise |
symbol | Agda.Syntax.Parser.LexActions |
SymCloseBrace | Agda.Syntax.Parser.Tokens |
SymCloseParen | Agda.Syntax.Parser.Tokens |
SymClosePragma | Agda.Syntax.Parser.Tokens |
SymCloseVirtualBrace | Agda.Syntax.Parser.Tokens |
SymColon | Agda.Syntax.Parser.Tokens |
SymDot | Agda.Syntax.Parser.Tokens |
SymEllipsis | Agda.Syntax.Parser.Tokens |
SymEqual | Agda.Syntax.Parser.Tokens |
SymLambda | Agda.Syntax.Parser.Tokens |
SymOpenBrace | Agda.Syntax.Parser.Tokens |
SymOpenParen | Agda.Syntax.Parser.Tokens |
SymOpenPragma | Agda.Syntax.Parser.Tokens |
SymOpenVirtualBrace | Agda.Syntax.Parser.Tokens |
SymQuestionMark | Agda.Syntax.Parser.Tokens |
SymSemi | Agda.Syntax.Parser.Tokens |
SymUnderscore | Agda.Syntax.Parser.Tokens |
SymVirtualSemi | Agda.Syntax.Parser.Tokens |
sync | Agda.Syntax.Parser.LookAhead |
Syntax | Agda.Syntax.Concrete |
syntaxOf | Agda.Syntax.Fixity |