IndexAgda-2.7.0.1
B
- BackendAgda.Compiler.Backend
- BackendAgda.Compiler.Backend.Base
- Backend'Agda.Compiler.Backend
- Backend'Agda.Compiler.Backend.Base
- Backend'_bootAgda.Compiler.Backend.Base
- Backend_bootAgda.Compiler.Backend.Base
- backendInteractionAgda.Compiler.Backend
- BackendNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- backendNameAgda.Compiler.Backend.Base
- backendUsageAgda.Main
- backendVersionAgda.Compiler.Backend.Base
- BackgroundAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- backupPosAgda.Syntax.Position
- BadArgumentsToPatternSynonymAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BadFieldNameAgda.Interaction.Library.Base
- BadImplicitsAgda.TypeChecking.Implicit
- BadLibraryNameAgda.Interaction.Library.Base
- BadMacroDefAgda.Syntax.Concrete.Definitions.Errors
- badStepAgda.TypeChecking.Rules.LHS.UnifyAgda.TypeChecking.Rules.LHS.UnifyAgda.TypeChecking.Rules.LHS.Unify.LeftInverseAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- BadVisibilityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BagAgda.Utils.Bag
- BagAgda.Utils.Bag
- bagAgda.Utils.Bag
- bareNameOfAgda.Syntax.Common
- bareNameWithDefaultAgda.Syntax.Common
- BDeclsAgda.Utils.Haskell.Syntax
- BeforeFunctionDefinitionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BeforeMutualFunctionDefinitionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- beforeReduceAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- bindBuiltinNoDefAgda.TypeChecking.Rules.Builtin
- bindBuiltinRewriteRelationAgda.Compiler.BackendAgda.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
- 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.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- bindQModuleAgda.Syntax.Scope.Monad
- bindReduceAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BindsAgda.Utils.Haskell.Syntax
- bindsToTelAgda.TypeChecking.Substitute
- bindsToTel'Agda.TypeChecking.Substitute
- bindsToTel'1Agda.TypeChecking.Substitute
- bindsToTel1Agda.TypeChecking.Substitute
- bindTCMTAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- blockedFromMaybeAgda.TypeChecking.Serialise.Instances.Internal
- blockedOnAgda.Syntax.Internal.Blockers
- BlockedOnApplyAgda.TypeChecking.Coverage.Match
- BlockedOnMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BlockedOnProblemsAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- 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.Compiler.BackendAgda.TypeChecking.Monad.Base
- BlockTAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- BoundAgda.TypeChecking.SizedTypes.WarshallSolver
- BoundAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- BoundaryAgda.TypeChecking.Telescope
- Boundary'Agda.TypeChecking.Telescope
- BoundedLtAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- BoundedNoAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- BoundedSizeAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- buildConstraintAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- buildDoStmtAgda.Syntax.Parser.Helpers
- buildEquivAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- buildGraphAgda.Utils.Warshall
- BuildInterfaceAgda.Benchmarking
- buildLeftInverseAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- buildListAgda.TypeChecking.Primitive
- buildOccurrenceGraphAgda.TypeChecking.Positivity
- buildProblemConstraintAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- buildProblemConstraint_Agda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- builtin_glueAgda.Compiler.BackendAgda.Syntax.Builtin
- builtin_glueUAgda.Compiler.BackendAgda.Syntax.Builtin
- builtin_unglueAgda.Compiler.BackendAgda.Syntax.Builtin
- builtin_unglueUAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAbsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAbsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAbsAbsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAbsAbsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAccessAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- BuiltinAccessAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- BuiltinAgdaBlockerAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaBlockerAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaBlockerAllAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaBlockerAllAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaBlockerAnyAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaBlockerAnyAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaBlockerMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaBlockerMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaClauseAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaClauseAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaClauseAbsurdAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaClauseAbsurdAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaClauseClauseAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaClauseClauseAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaDefinitionAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaDefinitionAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaDefinitionDataConstructorAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaDefinitionDataConstructorAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaDefinitionDataDefAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaDefinitionDataDefAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaDefinitionFunDefAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaDefinitionFunDefAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaDefinitionPostulateAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaDefinitionPostulateAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaDefinitionPrimitiveAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaDefinitionPrimitiveAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaDefinitionRecordDefAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaDefinitionRecordDefAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaErrorPartAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaErrorPartAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaErrorPartNameAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaErrorPartNameAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaErrorPartPattAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaErrorPartPattAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaErrorPartStringAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaErrorPartStringAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaErrorPartTermAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaErrorPartTermAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLitCharAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLitCharAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLiteralAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLiteralAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLitFloatAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLitFloatAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLitMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLitMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLitNatAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLitNatAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLitQNameAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLitQNameAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLitStringAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLitStringAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaLitWord64Agda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaLitWord64Agda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaPatAbsurdAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaPatAbsurdAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaPatConAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaPatConAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaPatDotAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaPatDotAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaPatLitAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaPatLitAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaPatProjAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaPatProjAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaPatternAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaPatternAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaPatVarAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaPatVarAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaSortAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaSortAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaSortInfAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaSortInfAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaSortLitAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaSortLitAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaSortPropAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaSortPropAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaSortPropLitAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaSortPropLitAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaSortSetAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaSortSetAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaSortUnsupportedAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaSortUnsupportedAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMAskExpandLastAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMAskExpandLastAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMAskNormalisationAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMAskNormalisationAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMAskReconstructedAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMAskReconstructedAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMAskReduceDefsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMAskReduceDefsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMBindAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMBindAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMBlockAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMBlockAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMCatchErrorAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMCatchErrorAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMCheckTypeAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMCheckTypeAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMCommitAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMCommitAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMDebugPrintAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMDebugPrintAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMDeclareDataAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMDeclareDataAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMDeclareDefAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMDeclareDefAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMDeclarePostulateAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMDeclarePostulateAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMDefineDataAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMDefineDataAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMDefineFunAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMDefineFunAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMExecAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMExecAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMExtendContextAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMExtendContextAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMFormatErrorPartsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMFormatErrorPartsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMFreshNameAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMFreshNameAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMGetContextAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMGetContextAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMGetDefinitionAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMGetDefinitionAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMGetInstancesAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMGetInstancesAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMGetTypeAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMGetTypeAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMInContextAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMInContextAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMInferTypeAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMInferTypeAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMIsMacroAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMIsMacroAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMNoConstraintsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMNoConstraintsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMNormaliseAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMNormaliseAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMPragmaCompileAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMPragmaCompileAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMPragmaForeignAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMPragmaForeignAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMQuoteOmegaTermAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMQuoteOmegaTermAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMQuoteTermAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMQuoteTermAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMReduceAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMReduceAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMReturnAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMReturnAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMRunSpeculativeAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMRunSpeculativeAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMSolveInstancesAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMSolveInstancesAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMTypeErrorAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMTypeErrorAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMUnifyAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMUnifyAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMUnquoteTermAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMUnquoteTermAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMWithExpandLastAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMWithExpandLastAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMWithNormalisationAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMWithNormalisationAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMWithReconstructedAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMWithReconstructedAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMWithReduceDefsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMWithReduceDefsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTCMWorkOnTypesAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTCMWorkOnTypesAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermConAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermConAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermDefAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermDefAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermExtLamAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermExtLamAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermLamAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermLamAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermLitAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermLitAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermMetaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermPiAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermPiAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermSortAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermSortAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermUnsupportedAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermUnsupportedAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAgdaTermVarAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAgdaTermVarAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinArgAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinArgAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinArgArgAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinArgArgAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinArgArgInfoAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinArgArgInfoAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinArgInfoAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinArgInfoAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAssocAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAssocAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAssocLeftAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAssocLeftAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAssocNonAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAssocNonAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinAssocRightAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinAssocRightAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinBackendsAgda.Compiler.Builtin
- BuiltinBoolAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinBoolAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinByIdAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinCharAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinCharAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinCompAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinConIdAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinConsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinConsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinDataAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinDataConsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinDeclaresIdentifierAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinDeclaresIdentifier_Agda.Interaction.Options.Warnings
- builtinDepIMinAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinDescAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinDescriptorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinEqualityAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinEqualityAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinEquivAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinEquivAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinEquivFunAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinEquivFunAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinEquivProofAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinEquivProofAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFaceForallAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFalseAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFalseAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFixityAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFixityAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFixityFixityAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFixityFixityAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFlatAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFlatAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFloatAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFloatAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFromNatAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFromNatAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFromNegAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFromNegAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinFromStringAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinFromStringAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinGlueAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinHCompAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinHiddenAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinHiddenAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinHidingAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinHidingAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIdAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIdAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIdAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIdElimAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIdFaceAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIdPathAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIMaxAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIMinAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinINegAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinInfAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinInfAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinInParameterisedModuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinInstanceAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinInstanceAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIntegerAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIntegerAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIntegerNegSucAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIntegerNegSucAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIntegerPosAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIntegerPosAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIntervalAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIntervalAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIntervalUnivAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIntervalUnivAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIOAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIOAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIOneAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIOneAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIrrelevantAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIrrelevantAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIsOneAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIsOneAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIsOne1Agda.Compiler.BackendAgda.Syntax.Builtin
- builtinIsOne1Agda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIsOne2Agda.Compiler.BackendAgda.Syntax.Builtin
- builtinIsOne2Agda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIsOneEmptyAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIsOneEmptyAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinItIsOneAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinItIsOneAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinIZeroAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinIZeroAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinJustAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinJustAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinKindOfNameAgda.TypeChecking.Rules.Builtin
- BuiltinKitAgda.Compiler.Treeless.EliminateLiteralPatterns
- BuiltinKitAgda.Compiler.Treeless.EliminateLiteralPatterns
- BuiltinLevelAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinLevelAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinLevelKitAgda.TypeChecking.Level
- BuiltinLevelMaxAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinLevelMaxAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinLevelSucAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinLevelSucAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinLevelUnivAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinLevelUnivAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinLevelZeroAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinLevelZeroAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinListAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinListAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinLockUnivAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinMaybeAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinMaybeAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinModalityAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinModalityAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinModalityConstructorAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinModalityConstructorAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinModulesAgda.Interaction.Options.Lenses
- builtinModulesWithSafePostulatesAgda.Interaction.Options.Lenses
- builtinModulesWithUnsafePostulatesAgda.Interaction.Options.Lenses
- BuiltinMustBeConstructorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinMustBeIsOneAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinNameAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinNatAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNatDivSucAuxAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatDivSucAuxAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNatEqualsAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatEqualsAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNatLessAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatLessAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNatMinusAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatMinusAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNatModSucAuxAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatModSucAuxAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNatPlusAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatPlusAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNatTimesAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNatTimesAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNilAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNilAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinNoDefPragmaAgda.Syntax.Abstract
- BuiltinNothingAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinNothingAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPartialAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPartialAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPartialPAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPartialPAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPathAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPathAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPathPAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPathPAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPOrAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPostulateAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinPragmaAgda.Syntax.AbstractAgda.Syntax.Concrete
- BuiltinPrecedenceAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPrecedenceAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPrecRelatedAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPrecRelatedAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPrecUnrelatedAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPrecUnrelatedAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPrimAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinPropAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPropAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinPropOmegaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinPropOmegaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinQNameAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinQNameAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinQuantityAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinQuantityAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinQuantity0Agda.Compiler.BackendAgda.Syntax.Builtin
- builtinQuantity0Agda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinQuantityωAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinQuantityωAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinReflAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinReflAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinReflIdAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinReflIdAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinRelevanceAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinRelevanceAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinRelevantAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinRelevantAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinRewriteAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinRewriteAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinRewriteRelationsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinSetAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSetAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSetOmegaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSetOmegaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSharpAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSharpAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSigmaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSigmaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSigmaConAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSizeAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSizeAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSizeHookAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- BuiltinSizeInfAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSizeInfAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSizeLtAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSizeLtAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSizeMaxAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSizeMaxAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSizeSucAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSizeSucAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSizeUnivAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSizeUnivAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinsNoDefAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinSSetOmegaAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSSetOmegaAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinStrictSetAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinStrictSetAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinStringAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinStringAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSubAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSubAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSubInAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSubInAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSubOutAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinSucAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinSucAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinThingsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- builtinTransAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinTranspProofAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinTranspProofAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinTrueAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinTrueAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinUnitAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinUnitAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinUnitUnitAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinUnitUnitAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinUnknownAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- BuiltinVisibleAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinVisibleAgda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinWord64Agda.Compiler.BackendAgda.Syntax.Builtin
- builtinWord64Agda.Compiler.BackendAgda.Syntax.Builtin
- BuiltinZeroAgda.Compiler.BackendAgda.Syntax.Builtin
- builtinZeroAgda.Compiler.BackendAgda.Syntax.Builtin
- ButLoneAgda.TypeChecking.ProjectionLike
- butNotAgda.Utils.Boolean