IndexAgda-2.8.0.2
B
- BackendAgda.TypeChecking.Monad.Base
- BackendAgda.Compiler.Backend.Base
- Backend'Agda.TypeChecking.Monad.Base
- Backend'Agda.Compiler.Backend.Base
- Backend'_bootAgda.Compiler.Backend.Base
- Backend_bootAgda.Compiler.Backend.Base
- BackendCommandHoleAgda.Compiler.Backend.Base
- BackendCommandTopAgda.Compiler.Backend.Base
- BackendDoesNotSupportOnlyScopeCheckingAgda.TypeChecking.Monad.Base
- BackendDoesNotSupportOnlyScopeChecking_Agda.Interaction.Options.Errors
- BackendForeignCodeAgda.TypeChecking.Monad.Base
- backendInteractHoleAgda.Compiler.Backend.Base
- backendInteractionAgda.Compiler.Backend
- backendInteractTopAgda.Compiler.Backend.Base
- BackendNameAgda.Syntax.Common
- backendNameAgda.Compiler.Backend.Base
- backendUsageAgda.Main
- BackendVersionAgda.Compiler.Backend.Base
- backendVersionAgda.Compiler.Backend.Base
- BackgroundAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- backupPosAgda.Syntax.Position
- BadArgumentsToPatternSynonymAgda.TypeChecking.Monad.Base
- BadArgumentsToPatternSynonym_Agda.Interaction.Options.Errors
- BadCompilePragmaAgda.TypeChecking.Monad.Base
- BadCompilePragma_Agda.Interaction.Options.Errors
- BadDontCareAgda.TypeChecking.Monad.Base
- BadDontCare_Agda.Interaction.Options.Errors
- BadFieldNameAgda.Interaction.Library.Base
- BadImplicitsAgda.TypeChecking.Implicit
- BadLambdaAgda.TypeChecking.Monad.Base
- BadLambda_Agda.Interaction.Options.Errors
- BadLibraryNameAgda.Interaction.Library.Base
- BadMacroDefAgda.Syntax.Concrete.Definitions.Errors
- BadMacroDef_Agda.Interaction.Options.Errors
- BadMetaAgda.TypeChecking.Monad.Base
- BadMeta_Agda.Interaction.Options.Errors
- badStepAgda.TypeChecking.Rules.LHS.UnifyAgda.TypeChecking.Rules.LHS.UnifyAgda.TypeChecking.Rules.LHS.Unify.LeftInverseAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- BagAgda.Utils.Bag
- BagAgda.Utils.Bag
- bagAgda.Utils.Bag
- bareNameOfAgda.Syntax.Common
- bareNameWithDefaultAgda.Syntax.Common
- bcdArgumentsAgda.TypeChecking.Monad.Base
- bcdCandidatesAgda.TypeChecking.Monad.Base
- bcdConNameAgda.TypeChecking.Monad.Base
- bcdTypeAgda.TypeChecking.Monad.Base
- BDeclsAgda.Utils.Haskell.Syntax
- BeforeFunctionDefinitionAgda.TypeChecking.Monad.Base
- BeforeMutualFunctionDefinitionAgda.TypeChecking.Monad.Base
- beforeReduceAgda.TypeChecking.Monad.Base
- beginAgda.Syntax.Parser.LexActions
- begin_Agda.Syntax.Parser.LexActions
- BeginningAgda.Syntax.Common
- beginningOfAgda.Syntax.Position
- beginningOfFileAgda.Syntax.Position
- beginWithAgda.Syntax.Parser.LexActions
- belowAgda.Utils.IntSet.Infinite
- BenchmarkAgda.Utils.Benchmark
- BenchmarkAgda.Benchmarking
- BenchmarkAgda.Utils.Benchmark
- BenchmarkOffAgda.Utils.Benchmark
- BenchmarkOnAgda.Utils.Benchmark
- BenchmarkOnAgda.Utils.Benchmark
- benchmarkOnAgda.Utils.Benchmark
- benchmarksAgda.Benchmarking
- BenchmarkSomeAgda.Utils.Benchmark
- BenchPhaseAgda.TypeChecking.Monad.Benchmark
- BenchPhaseAgda.Utils.Benchmark
- BesideAgda.Compiler.JS.Pretty
- bestConInfoAgda.Syntax.Common
- billPureToAgda.TypeChecking.Monad.BenchmarkAgda.Utils.Benchmark
- billToAgda.TypeChecking.Monad.BenchmarkAgda.Utils.Benchmark
- billToCPSAgda.TypeChecking.Monad.BenchmarkAgda.Utils.Benchmark
- billToIOAgda.Benchmarking
- billToPureAgda.Benchmarking
- BiMapAgda.Utils.BiMap
- BiMapAgda.Utils.BiMap
- biMapBackAgda.Utils.BiMap
- biMapInvariantAgda.Utils.BiMap
- biMapThereAgda.Utils.BiMap
- BinAppViewAgda.TypeChecking.EtaContract
- binAppViewAgda.TypeChecking.EtaContract
- BinaryEncodeAgda.Benchmarking
- bindAgda.TypeChecking.Names
- bind'Agda.TypeChecking.Names
- bindAsPatternsAgda.TypeChecking.Rules.LHS
- bindBuiltinAgda.TypeChecking.Rules.Builtin
- bindBuiltinFlatAgda.TypeChecking.Rules.Builtin.Coinduction
- bindBuiltinInfAgda.TypeChecking.Rules.Builtin.Coinduction
- bindBuiltinNameAgda.TypeChecking.Monad.Builtin
- bindBuiltinNoDefAgda.TypeChecking.Rules.Builtin
- bindBuiltinRewriteRelationAgda.TypeChecking.Monad.Builtin
- bindBuiltinSharpAgda.TypeChecking.Rules.Builtin.Coinduction
- BinderAgda.Compiler.Treeless.Subst
- BinderAgda.Syntax.AbstractAgda.Syntax.Concrete
- BinderAgda.Compiler.Treeless.SubstAgda.Syntax.AbstractAgda.Syntax.Concrete
- Binder'Agda.Syntax.AbstractAgda.Syntax.Concrete
- binderNameAgda.Syntax.AbstractAgda.Syntax.Concrete
- BinderNameOriginAgda.Syntax.Common
- binderNameOriginAgda.Syntax.AbstractAgda.Syntax.Concrete
- binderPatternAgda.Syntax.AbstractAgda.Syntax.Concrete
- bindGeneralizedParametersAgda.TypeChecking.Rules.Data
- BindingSourceAgda.Syntax.Scope.Base
- bindModuleAgda.Syntax.Scope.Monad
- bindNAgda.TypeChecking.Names
- bindN1Agda.TypeChecking.Names
- BindNameAgda.Syntax.Abstract
- BindNameAgda.Syntax.Abstract
- bindNameAgda.Syntax.Scope.Monad
- bindName'Agda.Syntax.Scope.Monad
- bindName''Agda.Syntax.Scope.Monad
- bindNArgAgda.TypeChecking.Names
- bindPAgda.Utils.Parser.MemoisedCPS
- bindParameterAgda.TypeChecking.Rules.Data
- bindParametersAgda.TypeChecking.Rules.Data
- bindPostulatedNameAgda.TypeChecking.Rules.Builtin
- bindPrimitiveAgda.TypeChecking.Monad.Builtin
- bindQModuleAgda.Syntax.Scope.Monad
- bindReduceAgda.TypeChecking.Monad.Base
- BindsAgda.Utils.Haskell.Syntax
- bindsToTelAgda.TypeChecking.Substitute
- bindsToTel'Agda.TypeChecking.Substitute
- bindsToTel'1Agda.TypeChecking.Substitute
- bindsToTel1Agda.TypeChecking.Substitute
- bindTCMTAgda.TypeChecking.Monad.Base
- bindToConcreteAgda.Syntax.Translation.AbstractToConcrete
- bindUntypedBuiltinAgda.TypeChecking.Rules.Builtin
- bindVariableAgda.Syntax.Scope.Monad
- bindVarsToBindAgda.Syntax.Scope.Monad
- BinOpAgda.Compiler.JS.Syntax
- blankNotInScopeAgda.Syntax.Translation.InternalToAbstract
- BlockAgda.TypeChecking.Coverage.Match
- blockAgda.Compiler.JS.Pretty
- BlockedAgda.Syntax.Internal
- BlockedAgda.Syntax.Internal.Blockers
- blockedAgda.Syntax.Internal.Blockers
- Blocked'Agda.Syntax.Internal.Blockers
- Blocked_Agda.Syntax.Internal
- blocked_Agda.Syntax.Internal.Blockers
- BlockedConstAgda.TypeChecking.Monad.Base
- blockedFromMaybeAgda.TypeChecking.Serialise.Instances.Internal
- blockedOnAgda.Syntax.Internal.Blockers
- BlockedOnApplyAgda.TypeChecking.Coverage.Match
- BlockedOnMetaAgda.TypeChecking.Monad.Base
- BlockedOnMeta_Agda.Interaction.Options.Errors
- BlockedOnProblemsAgda.TypeChecking.Monad.Base
- BlockedOnProjAgda.TypeChecking.Coverage.Match
- BlockedOnResultAgda.TypeChecking.Coverage.Match
- blockedOnResultAgda.TypeChecking.Coverage.Match
- blockedOnResultIApplyAgda.TypeChecking.Coverage.Match
- blockedOnResultOverlapAgda.TypeChecking.Coverage.Match
- blockedOnVarsAgda.TypeChecking.Coverage.Match
- blockedToMaybeAgda.TypeChecking.Serialise.Instances.Internal
- BlockedTypeAgda.TypeChecking.Monad.Base
- BlockedType_Agda.Interaction.Options.Errors
- BlockerAgda.Syntax.Internal.Blockers
- blockingStatusAgda.Syntax.Internal.Blockers
- BlockingVarAgda.TypeChecking.Coverage.Match
- BlockingVarAgda.TypeChecking.Coverage.Match
- blockingVarConsAgda.TypeChecking.Coverage.Match
- blockingVarLazyAgda.TypeChecking.Coverage.Match
- blockingVarLitsAgda.TypeChecking.Coverage.Match
- blockingVarNoAgda.TypeChecking.Coverage.Match
- blockingVarOverlapAgda.TypeChecking.Coverage.Match
- BlockingVarsAgda.TypeChecking.Coverage.Match
- blockOfLinesAgda.Syntax.Scope.Base
- blockOnErrorAgda.TypeChecking.Reduce
- blockOnMetasInAgda.TypeChecking.Rewriting.NonLinPattern
- BlockTAgda.TypeChecking.Monad.Base
- BlockTAgda.TypeChecking.Monad.Base
- blockTermAgda.TypeChecking.MetaVars
- blockTermOnProblemAgda.TypeChecking.MetaVars
- blockTypeOnProblemAgda.TypeChecking.MetaVars
- bltQualAgda.Compiler.MAlonzo.Misc
- BNameAgda.Syntax.Concrete
- bnameFixityAgda.Syntax.Concrete
- bnameIsFiniteAgda.Syntax.Concrete
- bnameTacticAgda.Syntax.Concrete
- bolAgda.Syntax.Parser.Lexer
- boldPathViewAgda.TypeChecking.Monad.Builtin
- BoolAgda.Interaction.JSON
- BooleanAgda.Utils.Boolean
- boolSemiringAgda.Termination.Semiring
- BoolSetAgda.Utils.BoolSet
- boolSingAgda.Utils.TypeLits
- boolToMaybeAgda.Utils.Maybe
- boolValAgda.Utils.TypeLits
- bothAbsurdAgda.TypeChecking.Conversion
- BothWithAndRHSAgda.TypeChecking.Monad.Base
- BothWithAndRHS_Agda.Interaction.Options.Errors
- BoundAgda.TypeChecking.SizedTypes.WarshallSolver
- BoundAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- BoundaryAgda.TypeChecking.Telescope
- BoundaryAgda.TypeChecking.Telescope
- Boundary'Agda.TypeChecking.Telescope
- BoundedLtAgda.TypeChecking.Monad.SizedTypes
- BoundedNoAgda.TypeChecking.Monad.SizedTypes
- BoundedSizeAgda.TypeChecking.Monad.SizedTypes
- boundedSizeMetaHookAgda.TypeChecking.SizedTypes
- BoundNameAgda.Syntax.Concrete
- boundNameAgda.Syntax.Concrete
- boundNamesOrAbsurdAgda.Syntax.Parser.Helpers
- BoundsAgda.TypeChecking.SizedTypes.WarshallSolver
- BoundsAgda.TypeChecking.SizedTypes.WarshallSolver
- boundsAgda.TypeChecking.SizedTypes.WarshallSolver
- boundsAgda.Utils.IArray
- boundToEverySomeAgda.TypeChecking.Positivity.Occurrence
- BoundVariablePositionAgda.Syntax.Common
- BoundVariablePositionAgda.Syntax.Common
- bracesAgda.Compiler.JS.PrettyAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- braces'Agda.Syntax.Concrete.Glyph
- bracesAndSemicolonsAgda.Syntax.Concrete.Pretty
- bracket_Agda.Utils.Monad
- bracketsAgda.Compiler.JS.PrettyAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- BranchesAgda.TypeChecking.CompiledClause
- BraveTermAgda.Syntax.Internal
- BraveTermAgda.Syntax.Internal
- breakAgda.Utils.List1Agda.Utils.List2
- breakAfterAgda.Utils.ListAgda.Utils.List1
- breakAfter1Agda.Utils.List
- breakImplicitMutualBlockAgda.Syntax.Concrete.Definitions.Monad
- buildClosureAgda.TypeChecking.Monad.Base
- buildConstraintAgda.TypeChecking.Monad.Constraints
- buildDoStmtAgda.Syntax.Parser.Helpers
- buildEquivAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- BuildInterfaceAgda.Benchmarking
- buildLeftInverseAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- buildLibraryAgda.Interaction.BuildLibrary
- buildLibraryInteractorAgda.Main
- buildListAgda.TypeChecking.Primitive
- buildOccurrenceGraphAgda.TypeChecking.Positivity
- buildProblemConstraintAgda.TypeChecking.Monad.Constraints
- buildProblemConstraint_Agda.TypeChecking.Monad.Constraints
- buildSingleWithStmtAgda.Syntax.Parser.Helpers
- buildSubstitutionAgda.TypeChecking.Patterns.Match
- buildUsingStmtAgda.Syntax.Parser.Helpers
- buildWithBlockAgda.Syntax.Parser.Helpers
- buildWithFunctionAgda.TypeChecking.With
- buildWithStmtAgda.Syntax.Parser.Helpers
- BuiltinAgda.TypeChecking.Monad.Base
- BuiltinAgda.TypeChecking.Monad.Base
- builtin_glueAgda.Syntax.Builtin
- builtin_glueUAgda.Syntax.Builtin
- builtin_unglueAgda.Syntax.Builtin
- builtin_unglueUAgda.Syntax.Builtin
- BuiltinAbsAgda.Syntax.Builtin
- builtinAbsAgda.Syntax.Builtin
- BuiltinAbsAbsAgda.Syntax.Builtin
- builtinAbsAbsAgda.Syntax.Builtin
- BuiltinAccessAgda.TypeChecking.Monad.Builtin
- BuiltinAccessAgda.TypeChecking.Monad.Builtin
- BuiltinAgdaBlockerAgda.Syntax.Builtin
- builtinAgdaBlockerAgda.Syntax.Builtin
- BuiltinAgdaBlockerAllAgda.Syntax.Builtin
- builtinAgdaBlockerAllAgda.Syntax.Builtin
- BuiltinAgdaBlockerAnyAgda.Syntax.Builtin
- builtinAgdaBlockerAnyAgda.Syntax.Builtin
- BuiltinAgdaBlockerMetaAgda.Syntax.Builtin
- builtinAgdaBlockerMetaAgda.Syntax.Builtin
- BuiltinAgdaClauseAgda.Syntax.Builtin
- builtinAgdaClauseAgda.Syntax.Builtin
- BuiltinAgdaClauseAbsurdAgda.Syntax.Builtin
- builtinAgdaClauseAbsurdAgda.Syntax.Builtin
- BuiltinAgdaClauseClauseAgda.Syntax.Builtin
- builtinAgdaClauseClauseAgda.Syntax.Builtin
- BuiltinAgdaDefinitionAgda.Syntax.Builtin
- builtinAgdaDefinitionAgda.Syntax.Builtin
- BuiltinAgdaDefinitionDataConstructorAgda.Syntax.Builtin
- builtinAgdaDefinitionDataConstructorAgda.Syntax.Builtin
- BuiltinAgdaDefinitionDataDefAgda.Syntax.Builtin
- builtinAgdaDefinitionDataDefAgda.Syntax.Builtin
- BuiltinAgdaDefinitionFunDefAgda.Syntax.Builtin
- builtinAgdaDefinitionFunDefAgda.Syntax.Builtin
- BuiltinAgdaDefinitionPostulateAgda.Syntax.Builtin
- builtinAgdaDefinitionPostulateAgda.Syntax.Builtin
- BuiltinAgdaDefinitionPrimitiveAgda.Syntax.Builtin
- builtinAgdaDefinitionPrimitiveAgda.Syntax.Builtin
- BuiltinAgdaDefinitionRecordDefAgda.Syntax.Builtin
- builtinAgdaDefinitionRecordDefAgda.Syntax.Builtin
- BuiltinAgdaErrorPartAgda.Syntax.Builtin
- builtinAgdaErrorPartAgda.Syntax.Builtin
- BuiltinAgdaErrorPartNameAgda.Syntax.Builtin
- builtinAgdaErrorPartNameAgda.Syntax.Builtin
- BuiltinAgdaErrorPartPattAgda.Syntax.Builtin
- builtinAgdaErrorPartPattAgda.Syntax.Builtin
- BuiltinAgdaErrorPartStringAgda.Syntax.Builtin
- builtinAgdaErrorPartStringAgda.Syntax.Builtin
- BuiltinAgdaErrorPartTermAgda.Syntax.Builtin
- builtinAgdaErrorPartTermAgda.Syntax.Builtin
- BuiltinAgdaLitCharAgda.Syntax.Builtin
- builtinAgdaLitCharAgda.Syntax.Builtin
- BuiltinAgdaLiteralAgda.Syntax.Builtin
- builtinAgdaLiteralAgda.Syntax.Builtin
- BuiltinAgdaLitFloatAgda.Syntax.Builtin
- builtinAgdaLitFloatAgda.Syntax.Builtin
- BuiltinAgdaLitMetaAgda.Syntax.Builtin
- builtinAgdaLitMetaAgda.Syntax.Builtin
- BuiltinAgdaLitNatAgda.Syntax.Builtin
- builtinAgdaLitNatAgda.Syntax.Builtin
- BuiltinAgdaLitQNameAgda.Syntax.Builtin
- builtinAgdaLitQNameAgda.Syntax.Builtin
- BuiltinAgdaLitStringAgda.Syntax.Builtin
- builtinAgdaLitStringAgda.Syntax.Builtin
- BuiltinAgdaLitWord64Agda.Syntax.Builtin
- builtinAgdaLitWord64Agda.Syntax.Builtin
- BuiltinAgdaMetaAgda.Syntax.Builtin
- builtinAgdaMetaAgda.Syntax.Builtin
- BuiltinAgdaPatAbsurdAgda.Syntax.Builtin
- builtinAgdaPatAbsurdAgda.Syntax.Builtin
- BuiltinAgdaPatConAgda.Syntax.Builtin
- builtinAgdaPatConAgda.Syntax.Builtin
- BuiltinAgdaPatDotAgda.Syntax.Builtin
- builtinAgdaPatDotAgda.Syntax.Builtin
- BuiltinAgdaPatLitAgda.Syntax.Builtin
- builtinAgdaPatLitAgda.Syntax.Builtin
- BuiltinAgdaPatProjAgda.Syntax.Builtin
- builtinAgdaPatProjAgda.Syntax.Builtin
- BuiltinAgdaPatternAgda.Syntax.Builtin
- builtinAgdaPatternAgda.Syntax.Builtin
- BuiltinAgdaPatVarAgda.Syntax.Builtin
- builtinAgdaPatVarAgda.Syntax.Builtin
- BuiltinAgdaSortAgda.Syntax.Builtin
- builtinAgdaSortAgda.Syntax.Builtin
- BuiltinAgdaSortInfAgda.Syntax.Builtin
- builtinAgdaSortInfAgda.Syntax.Builtin
- BuiltinAgdaSortLitAgda.Syntax.Builtin
- builtinAgdaSortLitAgda.Syntax.Builtin
- BuiltinAgdaSortPropAgda.Syntax.Builtin
- builtinAgdaSortPropAgda.Syntax.Builtin
- BuiltinAgdaSortPropLitAgda.Syntax.Builtin
- builtinAgdaSortPropLitAgda.Syntax.Builtin
- BuiltinAgdaSortSetAgda.Syntax.Builtin
- builtinAgdaSortSetAgda.Syntax.Builtin
- BuiltinAgdaSortUnsupportedAgda.Syntax.Builtin
- builtinAgdaSortUnsupportedAgda.Syntax.Builtin
- BuiltinAgdaTCMAgda.Syntax.Builtin
- builtinAgdaTCMAgda.Syntax.Builtin
- BuiltinAgdaTCMAskExpandLastAgda.Syntax.Builtin
- builtinAgdaTCMAskExpandLastAgda.Syntax.Builtin
- BuiltinAgdaTCMAskNormalisationAgda.Syntax.Builtin
- builtinAgdaTCMAskNormalisationAgda.Syntax.Builtin
- BuiltinAgdaTCMAskReconstructedAgda.Syntax.Builtin
- builtinAgdaTCMAskReconstructedAgda.Syntax.Builtin
- BuiltinAgdaTCMAskReduceDefsAgda.Syntax.Builtin
- builtinAgdaTCMAskReduceDefsAgda.Syntax.Builtin
- BuiltinAgdaTCMBindAgda.Syntax.Builtin
- builtinAgdaTCMBindAgda.Syntax.Builtin
- BuiltinAgdaTCMBlockAgda.Syntax.Builtin
- builtinAgdaTCMBlockAgda.Syntax.Builtin
- BuiltinAgdaTCMCatchErrorAgda.Syntax.Builtin
- builtinAgdaTCMCatchErrorAgda.Syntax.Builtin
- BuiltinAgdaTCMCheckFromStringAgda.Syntax.Builtin
- builtinAgdaTCMCheckFromStringAgda.Syntax.Builtin
- BuiltinAgdaTCMCheckTypeAgda.Syntax.Builtin
- builtinAgdaTCMCheckTypeAgda.Syntax.Builtin
- BuiltinAgdaTCMCommitAgda.Syntax.Builtin
- builtinAgdaTCMCommitAgda.Syntax.Builtin
- BuiltinAgdaTCMDebugPrintAgda.Syntax.Builtin
- builtinAgdaTCMDebugPrintAgda.Syntax.Builtin
- BuiltinAgdaTCMDeclareDataAgda.Syntax.Builtin
- builtinAgdaTCMDeclareDataAgda.Syntax.Builtin
- BuiltinAgdaTCMDeclareDefAgda.Syntax.Builtin
- builtinAgdaTCMDeclareDefAgda.Syntax.Builtin
- BuiltinAgdaTCMDeclarePostulateAgda.Syntax.Builtin
- builtinAgdaTCMDeclarePostulateAgda.Syntax.Builtin
- BuiltinAgdaTCMDefineDataAgda.Syntax.Builtin
- builtinAgdaTCMDefineDataAgda.Syntax.Builtin
- BuiltinAgdaTCMDefineFunAgda.Syntax.Builtin
- builtinAgdaTCMDefineFunAgda.Syntax.Builtin
- BuiltinAgdaTCMExecAgda.Syntax.Builtin
- builtinAgdaTCMExecAgda.Syntax.Builtin
- BuiltinAgdaTCMExtendContextAgda.Syntax.Builtin
- builtinAgdaTCMExtendContextAgda.Syntax.Builtin
- BuiltinAgdaTCMFormatErrorPartsAgda.Syntax.Builtin
- builtinAgdaTCMFormatErrorPartsAgda.Syntax.Builtin
- BuiltinAgdaTCMFreshNameAgda.Syntax.Builtin
- builtinAgdaTCMFreshNameAgda.Syntax.Builtin
- BuiltinAgdaTCMGetContextAgda.Syntax.Builtin
- builtinAgdaTCMGetContextAgda.Syntax.Builtin
- BuiltinAgdaTCMGetDefinitionAgda.Syntax.Builtin
- builtinAgdaTCMGetDefinitionAgda.Syntax.Builtin
- BuiltinAgdaTCMGetInstancesAgda.Syntax.Builtin
- builtinAgdaTCMGetInstancesAgda.Syntax.Builtin
- BuiltinAgdaTCMGetTypeAgda.Syntax.Builtin
- builtinAgdaTCMGetTypeAgda.Syntax.Builtin
- BuiltinAgdaTCMInContextAgda.Syntax.Builtin
- builtinAgdaTCMInContextAgda.Syntax.Builtin
- BuiltinAgdaTCMInferTypeAgda.Syntax.Builtin
- builtinAgdaTCMInferTypeAgda.Syntax.Builtin
- BuiltinAgdaTCMIsMacroAgda.Syntax.Builtin
- builtinAgdaTCMIsMacroAgda.Syntax.Builtin
- BuiltinAgdaTCMNoConstraintsAgda.Syntax.Builtin
- builtinAgdaTCMNoConstraintsAgda.Syntax.Builtin
- BuiltinAgdaTCMNormaliseAgda.Syntax.Builtin
- builtinAgdaTCMNormaliseAgda.Syntax.Builtin
- BuiltinAgdaTCMPragmaCompileAgda.Syntax.Builtin
- builtinAgdaTCMPragmaCompileAgda.Syntax.Builtin
- BuiltinAgdaTCMPragmaForeignAgda.Syntax.Builtin
- builtinAgdaTCMPragmaForeignAgda.Syntax.Builtin
- BuiltinAgdaTCMQuoteOmegaTermAgda.Syntax.Builtin
- builtinAgdaTCMQuoteOmegaTermAgda.Syntax.Builtin
- BuiltinAgdaTCMQuoteTermAgda.Syntax.Builtin
- builtinAgdaTCMQuoteTermAgda.Syntax.Builtin
- BuiltinAgdaTCMReduceAgda.Syntax.Builtin
- builtinAgdaTCMReduceAgda.Syntax.Builtin
- BuiltinAgdaTCMReturnAgda.Syntax.Builtin
- builtinAgdaTCMReturnAgda.Syntax.Builtin
- BuiltinAgdaTCMRunSpeculativeAgda.Syntax.Builtin
- builtinAgdaTCMRunSpeculativeAgda.Syntax.Builtin
- BuiltinAgdaTCMSolveInstancesAgda.Syntax.Builtin
- builtinAgdaTCMSolveInstancesAgda.Syntax.Builtin
- BuiltinAgdaTCMTypeErrorAgda.Syntax.Builtin
- builtinAgdaTCMTypeErrorAgda.Syntax.Builtin
- BuiltinAgdaTCMUnifyAgda.Syntax.Builtin
- builtinAgdaTCMUnifyAgda.Syntax.Builtin
- BuiltinAgdaTCMUnquoteTermAgda.Syntax.Builtin
- builtinAgdaTCMUnquoteTermAgda.Syntax.Builtin
- BuiltinAgdaTCMWithExpandLastAgda.Syntax.Builtin
- builtinAgdaTCMWithExpandLastAgda.Syntax.Builtin
- BuiltinAgdaTCMWithNormalisationAgda.Syntax.Builtin
- builtinAgdaTCMWithNormalisationAgda.Syntax.Builtin
- BuiltinAgdaTCMWithReconstructedAgda.Syntax.Builtin
- builtinAgdaTCMWithReconstructedAgda.Syntax.Builtin
- BuiltinAgdaTCMWithReduceDefsAgda.Syntax.Builtin
- builtinAgdaTCMWithReduceDefsAgda.Syntax.Builtin
- BuiltinAgdaTCMWorkOnTypesAgda.Syntax.Builtin
- builtinAgdaTCMWorkOnTypesAgda.Syntax.Builtin
- BuiltinAgdaTermAgda.Syntax.Builtin
- builtinAgdaTermAgda.Syntax.Builtin
- BuiltinAgdaTermConAgda.Syntax.Builtin
- builtinAgdaTermConAgda.Syntax.Builtin
- BuiltinAgdaTermDefAgda.Syntax.Builtin
- builtinAgdaTermDefAgda.Syntax.Builtin
- BuiltinAgdaTermExtLamAgda.Syntax.Builtin
- builtinAgdaTermExtLamAgda.Syntax.Builtin
- BuiltinAgdaTermLamAgda.Syntax.Builtin
- builtinAgdaTermLamAgda.Syntax.Builtin
- BuiltinAgdaTermLitAgda.Syntax.Builtin
- builtinAgdaTermLitAgda.Syntax.Builtin
- BuiltinAgdaTermMetaAgda.Syntax.Builtin
- builtinAgdaTermMetaAgda.Syntax.Builtin
- BuiltinAgdaTermPiAgda.Syntax.Builtin
- builtinAgdaTermPiAgda.Syntax.Builtin
- BuiltinAgdaTermSortAgda.Syntax.Builtin
- builtinAgdaTermSortAgda.Syntax.Builtin
- BuiltinAgdaTermUnsupportedAgda.Syntax.Builtin
- builtinAgdaTermUnsupportedAgda.Syntax.Builtin
- BuiltinAgdaTermVarAgda.Syntax.Builtin
- builtinAgdaTermVarAgda.Syntax.Builtin
- BuiltinArgAgda.Syntax.Builtin
- builtinArgAgda.Syntax.Builtin
- BuiltinArgArgAgda.Syntax.Builtin
- builtinArgArgAgda.Syntax.Builtin
- BuiltinArgArgInfoAgda.Syntax.Builtin
- builtinArgArgInfoAgda.Syntax.Builtin
- BuiltinArgInfoAgda.Syntax.Builtin
- builtinArgInfoAgda.Syntax.Builtin
- BuiltinAssocAgda.Syntax.Builtin
- builtinAssocAgda.Syntax.Builtin
- BuiltinAssocLeftAgda.Syntax.Builtin
- builtinAssocLeftAgda.Syntax.Builtin
- BuiltinAssocNonAgda.Syntax.Builtin
- builtinAssocNonAgda.Syntax.Builtin
- BuiltinAssocRightAgda.Syntax.Builtin
- builtinAssocRightAgda.Syntax.Builtin
- builtinBackendsAgda.Compiler.Builtin
- BuiltinBoolAgda.Syntax.Builtin
- builtinBoolAgda.Syntax.Builtin
- builtinByIdAgda.Syntax.Builtin
- BuiltinCharAgda.Syntax.Builtin
- builtinCharAgda.Syntax.Builtin
- builtinCompAgda.Syntax.Builtin
- BuiltinConsAgda.Syntax.Builtin
- builtinConsAgda.Syntax.Builtin
- BuiltinDataAgda.TypeChecking.Monad.Base
- BuiltinDataConsAgda.TypeChecking.Monad.Base
- BuiltinDeclaresIdentifierAgda.TypeChecking.Monad.Base
- BuiltinDeclaresIdentifier_Agda.Interaction.Options.Warnings
- builtinDescAgda.TypeChecking.Monad.Base
- BuiltinDescriptorAgda.TypeChecking.Monad.Base
- BuiltinEqualityAgda.Syntax.Builtin
- builtinEqualityAgda.Syntax.Builtin
- BuiltinEquivAgda.Syntax.Builtin
- builtinEquivAgda.Syntax.Builtin
- BuiltinEquivFunAgda.Syntax.Builtin
- builtinEquivFunAgda.Syntax.Builtin
- BuiltinEquivProofAgda.Syntax.Builtin
- builtinEquivProofAgda.Syntax.Builtin
- builtinFaceForallAgda.Syntax.Builtin
- BuiltinFalseAgda.Syntax.Builtin
- builtinFalseAgda.Syntax.Builtin
- BuiltinFixityAgda.Syntax.Builtin
- builtinFixityAgda.Syntax.Builtin
- BuiltinFixityFixityAgda.Syntax.Builtin
- builtinFixityFixityAgda.Syntax.Builtin
- BuiltinFlatAgda.Syntax.Builtin
- builtinFlatAgda.Syntax.Builtin
- BuiltinFloatAgda.Syntax.Builtin
- builtinFloatAgda.Syntax.Builtin
- BuiltinFromNatAgda.Syntax.Builtin
- builtinFromNatAgda.Syntax.Builtin
- BuiltinFromNegAgda.Syntax.Builtin
- builtinFromNegAgda.Syntax.Builtin
- BuiltinFromStringAgda.Syntax.Builtin
- builtinFromStringAgda.Syntax.Builtin
- builtinGlueAgda.Syntax.Builtin
- builtinHCompAgda.Syntax.Builtin
- BuiltinHiddenAgda.Syntax.Builtin
- builtinHiddenAgda.Syntax.Builtin
- BuiltinHidingAgda.Syntax.Builtin
- builtinHidingAgda.Syntax.Builtin
- BuiltinIdAgda.Syntax.Builtin
- builtinIMaxAgda.Syntax.Builtin
- builtinIMinAgda.Syntax.Builtin
- builtinINegAgda.Syntax.Builtin
- BuiltinInfAgda.Syntax.Builtin
- builtinInfAgda.Syntax.Builtin
- BuiltinInfoAgda.TypeChecking.Monad.Base
- BuiltinInfoAgda.TypeChecking.Monad.Base
- BuiltinInParameterisedModuleAgda.TypeChecking.Monad.Base
- BuiltinInParameterisedModule_Agda.Interaction.Options.Errors
- BuiltinInstanceAgda.Syntax.Builtin
- builtinInstanceAgda.Syntax.Builtin
- BuiltinIntegerAgda.Syntax.Builtin
- builtinIntegerAgda.Syntax.Builtin
- BuiltinIntegerNegSucAgda.Syntax.Builtin
- builtinIntegerNegSucAgda.Syntax.Builtin
- BuiltinIntegerPosAgda.Syntax.Builtin
- builtinIntegerPosAgda.Syntax.Builtin
- BuiltinIntervalAgda.Syntax.Builtin
- builtinIntervalAgda.Syntax.Builtin
- BuiltinIntervalUnivAgda.Syntax.Builtin
- builtinIntervalUnivAgda.Syntax.Builtin
- BuiltinIOAgda.Syntax.Builtin
- builtinIOAgda.Syntax.Builtin
- BuiltinIOneAgda.Syntax.Builtin
- builtinIOneAgda.Syntax.Builtin
- BuiltinIrrelevantAgda.Syntax.Builtin
- builtinIrrelevantAgda.Syntax.Builtin
- BuiltinIsOneAgda.Syntax.Builtin
- builtinIsOneAgda.Syntax.Builtin
- BuiltinIsOne1Agda.Syntax.Builtin
- builtinIsOne1Agda.Syntax.Builtin
- BuiltinIsOne2Agda.Syntax.Builtin
- builtinIsOne2Agda.Syntax.Builtin
- BuiltinIsOneEmptyAgda.Syntax.Builtin
- builtinIsOneEmptyAgda.Syntax.Builtin
- BuiltinItIsOneAgda.Syntax.Builtin
- builtinItIsOneAgda.Syntax.Builtin
- BuiltinIZeroAgda.Syntax.Builtin
- builtinIZeroAgda.Syntax.Builtin
- BuiltinJustAgda.Syntax.Builtin
- builtinJustAgda.Syntax.Builtin
- builtinKindOfNameAgda.TypeChecking.Rules.Builtin
- BuiltinKitAgda.Compiler.Treeless.EliminateLiteralPatterns
- BuiltinKitAgda.Compiler.Treeless.EliminateLiteralPatterns
- BuiltinLevelAgda.Syntax.Builtin
- builtinLevelAgda.Syntax.Builtin
- builtinLevelKitAgda.TypeChecking.Level
- BuiltinLevelMaxAgda.Syntax.Builtin
- builtinLevelMaxAgda.Syntax.Builtin
- BuiltinLevelSucAgda.Syntax.Builtin
- builtinLevelSucAgda.Syntax.Builtin
- BuiltinLevelUnivAgda.Syntax.Builtin
- builtinLevelUnivAgda.Syntax.Builtin
- BuiltinLevelZeroAgda.Syntax.Builtin
- builtinLevelZeroAgda.Syntax.Builtin
- BuiltinListAgda.Syntax.Builtin
- builtinListAgda.Syntax.Builtin
- builtinLockUnivAgda.Syntax.Builtin
- BuiltinMaybeAgda.Syntax.Builtin
- builtinMaybeAgda.Syntax.Builtin
- BuiltinModalityAgda.Syntax.Builtin
- builtinModalityAgda.Syntax.Builtin
- BuiltinModalityConstructorAgda.Syntax.Builtin
- builtinModalityConstructorAgda.Syntax.Builtin
- BuiltinModuleIdsAgda.TypeChecking.Monad.Base.Types
- builtinModuleIdsAgda.TypeChecking.Monad.Base.Types
- builtinModulesAgda.Interaction.Library
- builtinModulesWithSafePostulatesAgda.Interaction.Library
- builtinModulesWithUnsafePostulatesAgda.Interaction.Library
- BuiltinMustBeConstructorAgda.TypeChecking.Monad.Base
- BuiltinMustBeConstructor_Agda.Interaction.Options.Errors
- BuiltinMustBeDataAgda.TypeChecking.Monad.Base
- BuiltinMustBeData_Agda.Interaction.Options.Errors
- BuiltinMustBeDefAgda.TypeChecking.Monad.Base
- BuiltinMustBeDef_Agda.Interaction.Options.Errors
- BuiltinMustBeFunctionAgda.TypeChecking.Monad.Base
- BuiltinMustBeFunction_Agda.Interaction.Options.Errors
- BuiltinMustBePostulateAgda.TypeChecking.Monad.Base
- BuiltinMustBePostulate_Agda.Interaction.Options.Errors
- BuiltinNameAgda.Syntax.Builtin
- builtinNameAgda.TypeChecking.Monad.Base
- BuiltinNatAgda.Syntax.Builtin
- builtinNatAgda.Syntax.Builtin
- BuiltinNatDivSucAuxAgda.Syntax.Builtin
- builtinNatDivSucAuxAgda.Syntax.Builtin
- BuiltinNatEqualsAgda.Syntax.Builtin
- builtinNatEqualsAgda.Syntax.Builtin
- BuiltinNatLessAgda.Syntax.Builtin
- builtinNatLessAgda.Syntax.Builtin
- BuiltinNatMinusAgda.Syntax.Builtin
- builtinNatMinusAgda.Syntax.Builtin
- BuiltinNatModSucAuxAgda.Syntax.Builtin
- builtinNatModSucAuxAgda.Syntax.Builtin
- BuiltinNatPlusAgda.Syntax.Builtin
- builtinNatPlusAgda.Syntax.Builtin
- BuiltinNatTimesAgda.Syntax.Builtin
- builtinNatTimesAgda.Syntax.Builtin
- BuiltinNilAgda.Syntax.Builtin
- builtinNilAgda.Syntax.Builtin
- BuiltinNoDefPragmaAgda.Syntax.Abstract
- BuiltinNothingAgda.Syntax.Builtin
- builtinNothingAgda.Syntax.Builtin
- BuiltinPartialAgda.Syntax.Builtin
- builtinPartialAgda.Syntax.Builtin
- BuiltinPartialPAgda.Syntax.Builtin
- builtinPartialPAgda.Syntax.Builtin
- BuiltinPathAgda.Syntax.Builtin
- builtinPathAgda.Syntax.Builtin
- BuiltinPathPAgda.Syntax.Builtin
- builtinPathPAgda.Syntax.Builtin
- builtinPOrAgda.Syntax.Builtin
- BuiltinPostulateAgda.TypeChecking.Monad.Base
- BuiltinPragmaAgda.Syntax.AbstractAgda.Syntax.Concrete
- BuiltinPrecedenceAgda.Syntax.Builtin
- builtinPrecedenceAgda.Syntax.Builtin
- BuiltinPrecRelatedAgda.Syntax.Builtin
- builtinPrecRelatedAgda.Syntax.Builtin
- BuiltinPrecUnrelatedAgda.Syntax.Builtin
- builtinPrecUnrelatedAgda.Syntax.Builtin
- BuiltinPrimAgda.TypeChecking.Monad.Base
- BuiltinPropAgda.Syntax.Builtin
- builtinPropAgda.Syntax.Builtin
- BuiltinPropOmegaAgda.Syntax.Builtin
- builtinPropOmegaAgda.Syntax.Builtin
- BuiltinQNameAgda.Syntax.Builtin
- builtinQNameAgda.Syntax.Builtin
- BuiltinQuantityAgda.Syntax.Builtin
- builtinQuantityAgda.Syntax.Builtin
- BuiltinQuantity0Agda.Syntax.Builtin
- builtinQuantity0Agda.Syntax.Builtin
- BuiltinQuantityωAgda.Syntax.Builtin
- builtinQuantityωAgda.Syntax.Builtin
- BuiltinReflAgda.Syntax.Builtin
- builtinReflAgda.Syntax.Builtin
- BuiltinRelevanceAgda.Syntax.Builtin
- builtinRelevanceAgda.Syntax.Builtin
- BuiltinRelevantAgda.Syntax.Builtin
- builtinRelevantAgda.Syntax.Builtin
- BuiltinRewriteAgda.Syntax.Builtin
- builtinRewriteAgda.Syntax.Builtin
- BuiltinRewriteRelationsAgda.TypeChecking.Monad.Base
- BuiltinSetAgda.Syntax.Builtin
- builtinSetAgda.Syntax.Builtin
- BuiltinSetOmegaAgda.Syntax.Builtin
- builtinSetOmegaAgda.Syntax.Builtin
- BuiltinSharpAgda.Syntax.Builtin
- builtinSharpAgda.Syntax.Builtin
- BuiltinSigmaAgda.Syntax.Builtin
- builtinSigmaAgda.Syntax.Builtin
- BuiltinSigmaConAgda.Syntax.Builtin
- BuiltinSizeAgda.Syntax.Builtin
- builtinSizeAgda.Syntax.Builtin
- builtinSizeHookAgda.TypeChecking.Monad.SizedTypes
- BuiltinSizeInfAgda.Syntax.Builtin
- builtinSizeInfAgda.Syntax.Builtin
- BuiltinSizeLtAgda.Syntax.Builtin
- builtinSizeLtAgda.Syntax.Builtin
- BuiltinSizeMaxAgda.Syntax.Builtin
- builtinSizeMaxAgda.Syntax.Builtin
- BuiltinSizeSucAgda.Syntax.Builtin
- builtinSizeSucAgda.Syntax.Builtin
- BuiltinSizeUnivAgda.Syntax.Builtin
- builtinSizeUnivAgda.Syntax.Builtin
- builtinsNoDefAgda.Syntax.Builtin
- BuiltinSortAgda.TypeChecking.Monad.Base
- BuiltinSortAgda.TypeChecking.Monad.Base
- BuiltinSSetOmegaAgda.Syntax.Builtin
- builtinSSetOmegaAgda.Syntax.Builtin
- BuiltinStrictSetAgda.Syntax.Builtin
- builtinStrictSetAgda.Syntax.Builtin
- BuiltinStringAgda.Syntax.Builtin
- builtinStringAgda.Syntax.Builtin
- BuiltinSubAgda.Syntax.Builtin
- builtinSubAgda.Syntax.Builtin
- BuiltinSubInAgda.Syntax.Builtin
- builtinSubInAgda.Syntax.Builtin
- builtinSubOutAgda.Syntax.Builtin
- BuiltinSucAgda.Syntax.Builtin
- builtinSucAgda.Syntax.Builtin
- BuiltinThingsAgda.TypeChecking.Monad.Base
- BuiltinThings'Agda.TypeChecking.Monad.Base
- builtinTransAgda.Syntax.Builtin
- BuiltinTranspProofAgda.Syntax.Builtin
- builtinTranspProofAgda.Syntax.Builtin
- BuiltinTrueAgda.Syntax.Builtin
- builtinTrueAgda.Syntax.Builtin
- BuiltinUnitAgda.Syntax.Builtin
- builtinUnitAgda.Syntax.Builtin
- BuiltinUnitUnitAgda.Syntax.Builtin
- builtinUnitUnitAgda.Syntax.Builtin
- BuiltinUnknownAgda.TypeChecking.Monad.Base
- BuiltinVisibleAgda.Syntax.Builtin
- builtinVisibleAgda.Syntax.Builtin
- BuiltinWord64Agda.Syntax.Builtin
- builtinWord64Agda.Syntax.Builtin
- BuiltinZeroAgda.Syntax.Builtin
- builtinZeroAgda.Syntax.Builtin
- ButLoneAgda.TypeChecking.ProjectionLike
- butNotAgda.Utils.Boolean