IndexAgda-2.7.0.1
H
- HAgda.Mimer.Options
- handleCommandAgda.Interaction.InteractionTop
- handleCommand_Agda.Interaction.InteractionTop
- handleImpossibleAgda.Utils.Impossible
- handleImpossibleJustAgda.Utils.Impossible
- hangAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- hasAccessibleDefAgda.TypeChecking.Opacity
- hasBadRigidAgda.TypeChecking.MetaVars.Occurs
- HasBiggerSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- hasBiggerSortAgda.TypeChecking.Sort
- HasBuiltinsAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- HasCallStackAgda.Utils.CallStack
- hasCatchAllAgda.TypeChecking.CompiledClause
- HasConstInfoAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- hasCopatternsAgda.Syntax.Concrete.Pattern
- hasDefPAgda.Syntax.Internal.Pattern
- hasDisplayFormsAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- hasElemAgda.Utils.List
- hasElimsAgda.Syntax.Internal
- HasEllipsisAgda.Syntax.Concrete.Pattern
- hasEllipsisAgda.Syntax.Concrete.Pattern
- hasEllipsis'Agda.Syntax.Concrete.Pattern
- HasEtaAgda.Syntax.Common
- HasEta'Agda.Syntax.Common
- HasEta0Agda.Syntax.Common
- hasExactVerbosityAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- HasFreeAgda.Compiler.Treeless.Subst
- HasFreshAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- HashAgda.Utils.Hash
- hashByteStringAgda.Utils.Hash
- hashRawTopLevelModuleNameAgda.Syntax.TopLevelModuleName
- hashStringAgda.Utils.Hash
- HashTableAgda.Utils.HashTable
- hashTextAgda.Utils.Hash
- hashTextFileAgda.Utils.Hash
- HaskellCodeAgda.Compiler.MAlonzo.Pragmas
- HaskellPragmaAgda.Compiler.MAlonzo.Pragmas
- haskellStringLiteralAgda.Utils.String
- HaskellTypeAgda.Compiler.MAlonzo.Pragmas
- haskellTypeAgda.Compiler.MAlonzo.HaskellTypes
- hasLeftAdjointAgda.Utils.POMonoid
- hasLineNumberAgda.Interaction.Library.Base
- hasLoopingDisplayFormAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- hasNoFreeVariablesAgda.Syntax.Common
- HasOptionsAgda.Compiler.BackendAgda.Interaction.OptionsAgda.TypeChecking.Monad.Base
- HasOverlapModeAgda.Syntax.Common
- hasProfileOptionAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- hasProjectionPatternsAgda.TypeChecking.CompiledClause
- HasPTSRuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- hasPTSRuleAgda.TypeChecking.Sort
- hasQuantity0Agda.Syntax.Common
- hasQuantity1Agda.Syntax.Common
- hasQuantityωAgda.Syntax.Common
- HasRangeAgda.Syntax.Position
- HasTagAgda.Utils.BiMap
- hasTwinMetaAgda.TypeChecking.MetaVars
- HasTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- hasUniversePolymorphismAgda.Compiler.BackendAgda.TypeChecking.Monad.Options
- hasVerbosityAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- hasWithPatternsAgda.Syntax.Concrete.Pattern
- HasZeroAgda.Termination.Semiring
- haveLevelsAgda.TypeChecking.Level
- haveSizedTypesAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- haveSizeLtAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- hcatAgda.Compiler.JS.PrettyAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- hcompAgda.TypeChecking.Primitive.Cubical
- HCompOpAgda.TypeChecking.Primitive.Cubical.Base
- HeadAgda.TypeChecking.Primitive.Cubical.Base
- headAgda.Utils.List1Agda.Utils.List2
- headAmbQAgda.Syntax.Abstract.Name
- headCallSiteAgda.Utils.CallStack
- HeadComputeAgda.Interaction.Base
- HeadNormalAgda.Interaction.Base
- headPrecedenceAgda.Syntax.Fixity
- headStopAgda.TypeChecking.Primitive.Cubical.Base
- headSymbolAgda.TypeChecking.Injectivity
- headSymbol'Agda.TypeChecking.Injectivity
- HeadSymbolContainsMetasAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- HeadSymbolIsProjectionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- HeadSymbolIsProjectionLikeFunctionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- HeadSymbolIsTypeConstructorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- headWithDefaultAgda.Utils.List
- HelpAgda.Interaction.Options.Help
- HelpForAgda.Interaction.Options.Help
- helpForLocaleErrorAgda.Main
- helpTopicUsageAgda.Interaction.Options.Help
- hfillAgda.TypeChecking.Primitive.Cubical.Base
- HiddenAgda.Syntax.Common
- hiddenAgda.Syntax.Common
- HiddenArgAgda.Syntax.Concrete
- HiddenArgVAgda.Syntax.Concrete.Operators.Parser
- HiddenGeneralizeAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- HiddenGeneralize_Agda.Interaction.Options.Warnings
- HiddenPAgda.Syntax.Concrete
- hideAgda.Syntax.Common
- hideAndRelParamsAgda.Compiler.BackendAgda.TypeChecking.Monad.Modality
- hideOrKeepInstanceAgda.Syntax.Common
- HidingAgda.Syntax.Common
- hidingAgda.Syntax.Common
- HidingDirectiveAgda.Syntax.Concrete
- HidingDirective'Agda.Syntax.Common
- HidingMismatchAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- HidingOnlyAgda.Syntax.Scope.Base
- hidingToMetaKindAgda.Syntax.Info
- hidingToStringAgda.Syntax.Common
- highlight_Agda.TypeChecking.Rules.Decl
- highlightAsTypeCheckedAgda.Compiler.BackendAgda.Interaction.Highlighting.GenerateAgda.TypeChecking.Monad.Trace
- highlightExprAgda.Interaction.InteractionTop
- HighlightingAgda.Benchmarking
- HighlightingInfoAgda.Interaction.Highlighting.Precise
- HighlightingInfoBuilderAgda.Interaction.Highlighting.Precise
- highlightingInfoBuilderInvariantAgda.Interaction.Highlighting.Precise
- highlightingInfoInvariantAgda.Interaction.Highlighting.Precise
- HighlightingLevelAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- HighlightingMethodAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- HighlightModuleContentsAgda.TypeChecking.Rules.Decl
- highlightWarningAgda.Interaction.Highlighting.Generate
- highMetaPriorityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- hintExprToQNameAgda.Mimer.Options
- HintModeAgda.Mimer.Options
- hlCommentAgda.Syntax.Common.Pretty
- hlHoleAgda.Syntax.Common.Pretty
- hlKeywordAgda.Syntax.Common.Pretty
- hlNumberAgda.Syntax.Common.Pretty
- hlPragmaAgda.Syntax.Common.Pretty
- hlPrimitiveTypeAgda.Syntax.Common.Pretty
- hlStringAgda.Syntax.Common.Pretty
- hlSymbolAgda.Syntax.Common.Pretty
- holdConstraintsAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- HoleAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.AspectAgda.Syntax.Concrete.Name
- holeAgda.Syntax.Parser.Comments
- HoleContentAgda.Syntax.AbstractAgda.Syntax.Concrete
- HoleContent'Agda.Syntax.Concrete
- HoleContentExprAgda.Syntax.Concrete
- holeContentParserAgda.Syntax.ParserAgda.Syntax.Parser.Parser
- HoleContentRewriteAgda.Syntax.Concrete
- HoleNameAgda.Syntax.Notation
- holeNameAgda.Syntax.NotationAgda.Syntax.Notation
- holeNumberAgda.Syntax.Common
- HolePartAgda.Syntax.Common
- holesAgda.Utils.List
- holeTargetAgda.Syntax.Notation
- hPiAgda.TypeChecking.Primitive.Base
- hPi'Agda.TypeChecking.Primitive.Base
- hsAppViewAgda.Compiler.MAlonzo.Misc
- HsCompileMAgda.Compiler.MAlonzo.Misc
- HsCompileStateAgda.Compiler.MAlonzo.Misc
- HsCompileStateAgda.Compiler.MAlonzo.Misc
- HsCompileTAgda.Compiler.MAlonzo.Misc
- HsDataAgda.Compiler.MAlonzo.Pragmas
- HsDefnAgda.Compiler.MAlonzo.Pragmas
- hsepAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- hsepWithAgda.Syntax.Common.Pretty
- HsExportAgda.Compiler.MAlonzo.Pragmas
- hsIntAgda.Compiler.MAlonzo.Misc
- hsLambdaAgda.Compiler.MAlonzo.Misc
- hsLetAgda.Compiler.MAlonzo.Misc
- hsMapAltAgda.Compiler.MAlonzo.Misc
- hsMapRHSAgda.Compiler.MAlonzo.Misc
- HsModuleEnvAgda.Compiler.MAlonzo.Misc
- HsModuleEnvAgda.Compiler.MAlonzo.Misc
- hsNameAgda.Compiler.MAlonzo.Misc
- hsOpToExpAgda.Compiler.MAlonzo.Misc
- hsPrimOpAgda.Compiler.MAlonzo.Misc
- hsPrimOpAppAgda.Compiler.MAlonzo.Misc
- hsTelApproximationAgda.Compiler.MAlonzo.HaskellTypes
- hsTelApproximation'Agda.Compiler.MAlonzo.HaskellTypes
- HsTypeAgda.Compiler.MAlonzo.Pragmas
- hsTypedDoubleAgda.Compiler.MAlonzo.Misc
- hsTypedIntAgda.Compiler.MAlonzo.Misc
- hsVarUQAgda.Compiler.MAlonzo.Misc
- htmlBackendAgda.Interaction.Highlighting.HTML
- HypAgda.TypeChecking.SizedTypes.WarshallSolver
- Hyp'Agda.TypeChecking.SizedTypes.WarshallSolver
- hypConnAgda.TypeChecking.SizedTypes.WarshallSolver
- HypGraphAgda.TypeChecking.SizedTypes.WarshallSolver
- hypGraphAgda.TypeChecking.SizedTypes.WarshallSolver
- HypSizeConstraintAgda.TypeChecking.SizedTypes.Syntax
- HypSizeConstraintAgda.TypeChecking.SizedTypes.Syntax