IndexAgda-2.8.0.2
L
- LAgda.Interaction.EmacsCommandAgda.Mimer.Options
- LabelAgda.TypeChecking.SizedTypes.WarshallSolver
- LabelAgda.TypeChecking.SizedTypes.WarshallSolver
- labelAgda.Utils.Graph.AdjacencyMap.Unidirectional
- LabelledEdgeAgda.TypeChecking.SizedTypes.WarshallSolver
- LabelPatVarsAgda.Syntax.Internal.Pattern
- labelPatVarsAgda.Syntax.Internal.Pattern
- LamAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.InternalAgda.Syntax.Reflected
- lamAgda.TypeChecking.Names
- LambdaAgda.Compiler.JS.SyntaxAgda.Utils.Haskell.Syntax
- lambdaAgda.Syntax.Concrete.Glyph
- lambdaAddContextAgda.TypeChecking.Rules.Term
- lambdaAnnotationCheckAgda.TypeChecking.Rules.Term
- LambdaBoundAgda.Syntax.Scope.Base
- lambdaCohesionCheckAgda.TypeChecking.Rules.Term
- LambdaHoleAgda.Syntax.Notation
- lambdaIrrelevanceCheckAgda.TypeChecking.Rules.Term
- LambdaIsErasedAgda.TypeChecking.Monad.Base
- LambdaIsErased_Agda.Interaction.Options.Errors
- lambdaLiftExprAgda.Syntax.Abstract
- lambdaModalityCheckAgda.TypeChecking.Rules.Term
- lambdaPolarityCheckAgda.TypeChecking.Rules.Term
- lambdaQuantityCheckAgda.TypeChecking.Rules.Term
- LamBindingAgda.Syntax.Abstract
- LamBindingAgda.Syntax.Concrete
- LamBinding'Agda.Syntax.Concrete
- lamBindingsAgda.Syntax.Parser.Helpers
- lamBindingsToTelescopeAgda.Syntax.Concrete
- LamBindsAgda.Syntax.Parser.Helpers
- LamBindsAgda.Syntax.Parser.Helpers
- LamBinds'Agda.Syntax.Parser.Helpers
- lamBracketsAgda.Syntax.Fixity
- lamCatchallAgda.Syntax.Concrete
- LamClauseAgda.Syntax.Concrete
- LamClauseAgda.Syntax.Concrete
- lamLHSAgda.Syntax.Concrete
- LamNotPiAgda.TypeChecking.Rules.Term
- LamOrPiAgda.TypeChecking.Rules.Term
- lamRHSAgda.Syntax.Concrete
- lamTelAgda.TypeChecking.Names
- LamVAgda.Syntax.Concrete.Operators.Parser
- LamViewAgda.Syntax.Abstract.Views
- LamViewAgda.Syntax.Abstract.Views
- lamViewAgda.Syntax.Abstract.ViewsAgda.TypeChecking.Substitute
- LanguageAgda.Syntax.Common
- LanguagePragmaAgda.Utils.Haskell.Syntax
- LargeSortAgda.TypeChecking.Substitute
- largestAgda.TypeChecking.SizedTypes.WarshallSolver
- lastAgda.Utils.List1
- last1Agda.Utils.List
- last2Agda.Utils.ListAgda.Utils.List1
- last2'Agda.Utils.List
- lastIdPartAgda.Syntax.Concrete.Name
- lastMaybeAgda.Utils.List
- lastWithDefaultAgda.Utils.List
- LaTeXAgda.Interaction.Base
- latexBackendAgda.Interaction.Highlighting.LaTeX.Backend
- latexOptCountClustersAgda.Interaction.Highlighting.LaTeX.Base
- LaTeXOptionsAgda.Interaction.Highlighting.LaTeX.Base
- LaTeXOptionsAgda.Interaction.Highlighting.LaTeX.Base
- latexOptOutDirAgda.Interaction.Highlighting.LaTeX.Base
- latexOptSourceFileNameAgda.Interaction.Highlighting.LaTeX.Base
- LayerAgda.Syntax.Parser.Literate
- LayerAgda.Syntax.Parser.Literate
- layerContentAgda.Syntax.Parser.Literate
- LayerRoleAgda.Syntax.Parser.Literate
- layerRoleAgda.Syntax.Parser.Literate
- LayersAgda.Syntax.Parser.Literate
- LayoutAgda.Syntax.Parser.Monad
- layoutAgda.Syntax.Parser.Lexer
- LayoutBlockAgda.Syntax.Parser.Monad
- LayoutContextAgda.Syntax.Parser.Monad
- layoutKeywordsAgda.Syntax.Parser.Tokens
- LayoutStatusAgda.Syntax.Parser.Monad
- LazyAgda.Utils.Haskell.Syntax
- lazyAbsAppAgda.TypeChecking.Substitute.Class
- LazyEvaluationAgda.Syntax.Treeless
- lazyMatchAgda.TypeChecking.CompiledClause
- LazySplitAgda.TypeChecking.Coverage.SplitTree
- LazySplitAgda.TypeChecking.Coverage.SplitTree
- lblBindingsAgda.TypeChecking.Coverage.SplitTree
- lblConstructorNameAgda.TypeChecking.Coverage.SplitTree
- lblLazyAgda.TypeChecking.Coverage.SplitTree
- lblSplitArgAgda.TypeChecking.Coverage.SplitTree
- lbraceAgda.Syntax.Common.Pretty
- lbrackAgda.Syntax.Common.Pretty
- lcmpAgda.TypeChecking.SizedTypes.WarshallSolver
- LeAgda.TypeChecking.SizedTypes.Syntax
- leAgda.Termination.Order
- LeastAgda.TypeChecking.SizedTypes.Syntax
- LeaveSectionAgda.TypeChecking.Monad.Base
- LeftAssocAgda.Syntax.Common
- LeftClosedPOMonoidAgda.Utils.POMonoid
- leftExprAgda.TypeChecking.SizedTypes.Syntax
- leftIdiomBrktAgda.Syntax.Concrete.Glyph
- LeftLetAgda.Syntax.Common
- LeftModeAgda.Syntax.Common.Pretty
- LeftOfArrowAgda.TypeChecking.Positivity.Occurrence
- LeftOperandCtxAgda.Syntax.Fixity
- LeftoverPatternsAgda.TypeChecking.Rules.LHS.Problem
- LeftoverPatternsAgda.TypeChecking.Rules.LHS.Problem
- leftsAgda.Utils.List1
- LElAgda.TypeChecking.Primitive.Cubical
- lengthAgda.Utils.List1
- lensAgda.Utils.Lens
- Lens'Agda.Utils.Lens
- lensAccumStatisticsAgda.TypeChecking.Monad.State
- lensAccumStatisticsPAgda.TypeChecking.Monad.State
- lensAmodNameAgda.Syntax.Scope.Base
- lensAnameNameAgda.Syntax.Scope.Base
- LensAnnotationAgda.Syntax.Common
- lensAreWeCachingAgda.TypeChecking.Monad.Base
- LensArgInfoAgda.Syntax.Common
- LensAttributeAgda.Syntax.Concrete.Attribute
- lensAwakeConstraintsAgda.TypeChecking.Monad.Base
- lensBackendsAgda.TypeChecking.Monad.Base
- lensBenchmarkAgda.TypeChecking.Monad.Base
- lensBuiltinModuleIdsAgda.TypeChecking.Monad.Base
- LensClosureAgda.TypeChecking.Monad.Base
- lensClosureAgda.TypeChecking.Monad.Base
- LensCohesionAgda.Syntax.Common
- lensCollapseDefaultAgda.Utils.WithDefault
- LensCommandLineOptionsAgda.Interaction.Options.Lenses
- lensConcreteNamesAgda.TypeChecking.Monad.Base
- lensConfigAboveAgda.Interaction.Library.Base
- LensConNameAgda.Syntax.Internal
- lensConsideringInstanceAgda.TypeChecking.Monad.Base
- lensConstructorAgda.TypeChecking.Monad.Base
- lensCopiedNamesAgda.TypeChecking.Monad.Base
- lensDirtyAgda.TypeChecking.Monad.Base
- lensDisambiguatedNamesAgda.TypeChecking.Monad.Base
- lensEqTelAgda.TypeChecking.Rules.LHS.Unify.Types
- lensField1Agda.Utils.Lens.Examples
- lensField2Agda.Utils.Lens.Examples
- lensFileDictAgda.TypeChecking.Monad.Base
- lensFileDictBuilderAgda.TypeChecking.Monad.Base
- lensFileDictBuiltinModuleIdsAgda.TypeChecking.Monad.Base.Types
- lensFileDictFileDictBuilderAgda.TypeChecking.Monad.Base.Types
- lensFileDictPrimitiveLibDirAgda.TypeChecking.Monad.Base.Types
- LensFixityAgda.Syntax.Common
- lensFixityAgda.Syntax.Common
- LensFixity'Agda.Syntax.Common
- lensFixity'Agda.Syntax.Common
- LensFlexRigAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- lensFlexRigAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- lensForeignCodeAgda.TypeChecking.Monad.Base
- LensFreeVariablesAgda.Syntax.Common
- lensFreshAgda.TypeChecking.Serialise.Base
- lensFreshCheckpointIdAgda.TypeChecking.Monad.Base
- lensFreshIntAgda.TypeChecking.Monad.Base
- lensFreshInteractionIdAgda.TypeChecking.Monad.Base
- lensFreshMetaIdAgda.TypeChecking.Monad.Base
- lensFreshMutualIdAgda.TypeChecking.Monad.Base
- lensFreshNameIdAgda.TypeChecking.Monad.Base
- lensFreshOpaqueIdAgda.TypeChecking.Monad.Base
- lensFreshProblemIdAgda.TypeChecking.Monad.Base
- lensFunctionAgda.TypeChecking.Monad.Base
- lensGeneralizedVarsAgda.TypeChecking.Monad.Base
- LensGetAgda.Utils.Lens
- lensHeadAgda.Utils.List1
- LensHidingAgda.Syntax.Common
- lensImportedBuiltinsAgda.TypeChecking.Monad.Base
- lensImportedDisplayFormsAgda.TypeChecking.Monad.Base
- lensImportedMetaStoreAgda.TypeChecking.Monad.Base
- lensImportedModulesAgda.TypeChecking.Monad.Base
- lensImportedModulesTransitiveAgda.TypeChecking.Monad.Base
- lensImportedPartialDefsAgda.TypeChecking.Monad.Base
- lensImportedUserWarningsAgda.TypeChecking.Monad.Base
- lensImportsAgda.TypeChecking.Monad.Base
- lensImportsDisplayFormsAgda.TypeChecking.Monad.Base
- LensIncludePathsAgda.Interaction.Options.Lenses
- LensInScopeAgda.Syntax.Concrete.Name
- lensInScopeAgda.Syntax.Concrete.Name
- lensInstanceHackAgda.TypeChecking.Monad.Base
- lensInstantiateBlockingAgda.TypeChecking.Monad.Base
- lensInteractionPointsAgda.TypeChecking.Monad.Base
- LensIsAbstractAgda.Syntax.Common
- lensIsAbstractAgda.Syntax.Common
- LensIsOpaqueAgda.Syntax.Common
- lensIsOpaqueAgda.Syntax.Common
- lensKeepDefaultAgda.Utils.WithDefault
- lensLastAgda.Utils.List1
- lensLexInputAgda.Syntax.Parser.Alex
- lensLibCacheAgda.TypeChecking.Monad.Base
- lensLoadedFileCacheAgda.TypeChecking.Monad.Base
- lensLocalBuiltinsAgda.TypeChecking.Monad.Base
- lensLocalPartialDefsAgda.TypeChecking.Monad.Base
- lensLocalUserWarningsAgda.TypeChecking.Monad.Base
- LensLockAgda.Syntax.Common
- LensMapAgda.Utils.Lens
- lensMaybeLazyAgda.Utils.Maybe.Strict
- LensModalityAgda.Syntax.Common
- LensModalPolarityAgda.Syntax.Common
- lensModuleCheckpointsAgda.TypeChecking.Monad.Base
- lensModuleToSourceIdAgda.TypeChecking.Monad.Base
- lensMutualBlocksAgda.TypeChecking.Monad.Base
- lensNameCopiesAgda.TypeChecking.Monad.Base
- LensNamedAgda.Syntax.Common
- lensNamedAgda.Syntax.Common
- lensNameIdAgda.Syntax.Concrete.Definitions.Monad
- lensNamePartsAgda.Syntax.Concrete.Name
- lensOccursCheckDefsAgda.TypeChecking.Monad.Base
- lensOpaqueBlocksAgda.TypeChecking.Monad.Base
- lensOpaqueIdsAgda.TypeChecking.Monad.Base
- lensOpenMetaStoreAgda.TypeChecking.Monad.Base
- lensOptAllowExecAgda.Interaction.Options
- lensOptAllowIncompleteMatchAgda.Interaction.Options
- lensOptAllowUnsolvedAgda.Interaction.Options
- lensOptAutoInlineAgda.Interaction.Options
- lensOptBacktrackingInstancesAgda.Interaction.Options
- lensOptCachingAgda.Interaction.Options
- lensOptCallByNameAgda.Interaction.Options
- lensOptCohesionAgda.Interaction.Options
- lensOptCompileMainAgda.Interaction.Options
- lensOptConfluenceCheckAgda.Interaction.Options
- lensOptCopatternsAgda.Interaction.Options
- lensOptCountClustersAgda.Interaction.Options
- lensOptCubicalAgda.Interaction.Options
- lensOptCubicalCompatibleAgda.Interaction.Options
- lensOptCumulativityAgda.Interaction.Options
- lensOptDoubleCheckAgda.Interaction.Options
- lensOptErasedMatchesAgda.Interaction.Options
- lensOptEraseRecordParametersAgda.Interaction.Options
- lensOptErasureAgda.Interaction.Options
- lensOptEtaAgda.Interaction.Options
- lensOptExactSplitAgda.Interaction.Options
- lensOptExperimentalIrrelevanceAgda.Interaction.Options
- lensOptExperimentalLazyInstancesAgda.Interaction.Options
- lensOptFastReduceAgda.Interaction.Options
- lensOptFirstOrderAgda.Interaction.Options
- lensOptFlatSplitAgda.Interaction.Options
- lensOptForcingAgda.Interaction.Options
- lensOptGuardedAgda.Interaction.Options
- lensOptGuardednessAgda.Interaction.Options
- lensOptHiddenArgumentPunsAgda.Interaction.Options
- lensOptImportSortsAgda.Interaction.Options
- lensOptInferAbsurdClausesAgda.Interaction.Options
- lensOptInjectiveTypeConstructorsAgda.Interaction.Options
- lensOptInstanceSearchDepthAgda.Interaction.Options
- lensOptInversionMaxDepthAgda.Interaction.Options
- lensOptIrrelevantProjectionsAgda.Interaction.Options
- lensOptKeepCoveringClausesAgda.Interaction.Options
- lensOptKeepPatternVariablesAgda.Interaction.Options
- lensOptLevelUniverseAgda.Interaction.Options
- lensOptLoadPrimitivesAgda.Interaction.Options
- lensOptNoUniverseCheckAgda.Interaction.Options
- lensOptOmegaInOmegaAgda.Interaction.Options
- lensOptPatternMatchingAgda.Interaction.Options
- lensOptPolarityAgda.Interaction.Options
- lensOptPositivityCheckAgda.Interaction.Options
- lensOptPostfixProjectionsAgda.Interaction.Options
- lensOptPrintPatternSynonymsAgda.Interaction.Options
- lensOptProfilingAgda.Interaction.Options
- lensOptProjectionLikeAgda.Interaction.Options
- lensOptPropAgda.Interaction.Options
- lensOptQualifiedInstancesAgda.Interaction.Options
- lensOptRequireUniqueMetaSolutionsAgda.Interaction.Options
- lensOptRewritingAgda.Interaction.Options
- lensOptSafeAgda.Interaction.Options
- lensOptSaveMetasAgda.Interaction.Options
- lensOptShowIdentitySubstitutionsAgda.Interaction.Options
- lensOptShowImplicitAgda.Interaction.Options
- lensOptShowIrrelevantAgda.Interaction.Options
- lensOptSizedTypesAgda.Interaction.Options
- lensOptSyntacticEqualityAgda.Interaction.Options
- lensOptTerminationCheckAgda.Interaction.Options
- lensOptTerminationDepthAgda.Interaction.Options
- lensOptTwoLevelAgda.Interaction.Options
- lensOptUniverseCheckAgda.Interaction.Options
- lensOptUniversePolymorphismAgda.Interaction.Options
- lensOptUseUnicodeAgda.Interaction.Options
- lensOptVerboseAgda.Interaction.Options
- lensOptWarningModeAgda.Interaction.Options
- lensOptWithoutKAgda.Interaction.Options
- LensOriginAgda.Syntax.Common
- lensOverlapModeAgda.Syntax.Common
- lensPairModuleToSourceAgda.TypeChecking.Monad.Base.Types
- lensPatternSynImportsAgda.TypeChecking.Monad.Base
- lensPatternSynsAgda.TypeChecking.Monad.Base
- lensPersistentSessionAgda.TypeChecking.Monad.Base
- lensPersistentStateAgda.TypeChecking.Monad.Base
- LensPersistentVerbosityAgda.Interaction.Options.Lenses
- lensPostponeInstanceSearchAgda.TypeChecking.Monad.Base
- lensPostScopeStateAgda.TypeChecking.Monad.Base
- LensPragmaOptionsAgda.Interaction.Options
- lensPragmaOptionsAgda.Interaction.Options
- lensPreScopeStateAgda.TypeChecking.Monad.Base
- lensPreTokensAgda.TypeChecking.Monad.Base
- lensPrimitiveLibDirAgda.TypeChecking.Monad.Base
- lensProductAgda.Utils.Lens
- lensQNameNameAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.Name
- LensQuantityAgda.Syntax.Common
- lensRecEtaAgda.TypeChecking.Monad.Base
- lensRecordAgda.TypeChecking.Monad.Base
- lensRecTelAgda.TypeChecking.Monad.Base
- LensRelevanceAgda.Syntax.Common
- LensSafeModeAgda.Interaction.Options.Lenses
- lensScopeAgda.TypeChecking.Monad.Base
- lensSessionStateAgda.TypeChecking.Monad.Base
- LensSetAgda.Utils.Lens
- lensShadowingNamesAgda.TypeChecking.Monad.Base
- lensSignatureAgda.TypeChecking.Monad.Base
- lensSingleWarningAgda.Interaction.Options.Warnings
- lensSleepingConstraintsAgda.TypeChecking.Monad.Base
- lensSolvedMetaStoreAgda.TypeChecking.Monad.Base
- LensSortAgda.Syntax.Internal
- lensSortAgda.Syntax.Internal
- lensStatisticsAgda.TypeChecking.Monad.Base
- lensSyntaxInfoAgda.TypeChecking.Monad.Base
- LensTCEnvAgda.TypeChecking.Monad.Base
- lensTCEnvAgda.TypeChecking.Monad.Base
- lensTCWarningsAgda.TypeChecking.Monad.Base
- lensTemporaryInstancesAgda.TypeChecking.Monad.Base
- lensTheDefAgda.TypeChecking.Monad.Base
- lensTopLevelModuleNamePartsAgda.Syntax.TopLevelModuleName
- lensTopLevelModuleNamesAgda.TypeChecking.Monad.Base
- lensUsedNamesAgda.TypeChecking.Monad.Base
- lensVarTelAgda.TypeChecking.Rules.LHS.Unify.Types
- LensVerbosityAgda.Interaction.Options.Lenses
- lensVisitedModulesAgda.TypeChecking.Monad.Base
- lensWarningOnImportAgda.TypeChecking.Monad.Base
- LeqAgda.TypeChecking.SizedTypes
- leqConjAgda.TypeChecking.Conversion
- leqIntervalAgda.TypeChecking.Conversion
- leqLevelAgda.TypeChecking.Conversion
- leqPOAgda.Utils.PartialOrd
- leqSortAgda.TypeChecking.Conversion
- leqTypeAgda.TypeChecking.Conversion
- leqType_Agda.TypeChecking.Rules.Term
- LetAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Utils.Haskell.Syntax
- LetApplyAgda.Syntax.Abstract
- LetAxiomAgda.Syntax.Abstract
- LetBindAgda.Syntax.Abstract
- LetBindingAgda.Syntax.AbstractAgda.TypeChecking.Monad.Base
- LetBindingAgda.TypeChecking.Monad.Base
- LetBindingsAgda.TypeChecking.Monad.Base
- LetBoundAgda.Syntax.Scope.Base
- LetExpressionsAgda.Interaction.Options.ErrorsAgda.TypeChecking.Monad.Base
- LetInfoAgda.Syntax.Info
- LetOpenAgda.Syntax.Abstract
- LetOpenModuleAgda.Syntax.Scope.Monad
- letOriginAgda.TypeChecking.Monad.Base
- LetPatBindAgda.Syntax.Abstract
- LetRangeAgda.Syntax.Info
- letTermAgda.TypeChecking.Monad.Base
- letTypeAgda.TypeChecking.Monad.Base
- LevelAgda.Interaction.Highlighting.Generate
- LevelAgda.Syntax.Internal
- LevelAgda.BenchmarkingAgda.Syntax.Internal
- Level'Agda.Syntax.Internal
- LevelAtomAgda.Syntax.Internal
- LevelCmpAgda.TypeChecking.Monad.Base
- LevelKitAgda.TypeChecking.Level
- LevelKitAgda.TypeChecking.Level
- levelLowerBoundAgda.TypeChecking.Level
- levelLubAgda.TypeChecking.Substitute
- levelMaxAgda.TypeChecking.Substitute
- levelMaxDiffAgda.TypeChecking.Level
- levelMaxViewAgda.TypeChecking.Level
- levelPlusAgda.Syntax.Internal
- levelPlusViewAgda.TypeChecking.Level
- LevelReductionsAgda.TypeChecking.Monad.Base
- LevelsAgda.TypeChecking.Monad.MetaVars
- levelSucAgda.Syntax.Internal
- levelTmAgda.TypeChecking.Substitute
- levelTypeAgda.TypeChecking.Level
- levelType'Agda.TypeChecking.Level
- LevelUnivAgda.Syntax.Internal
- levelViewAgda.TypeChecking.Level
- levelView'Agda.TypeChecking.Level
- LexActionAgda.Syntax.Parser.Alex
- LexActionAgda.Syntax.Parser.Alex
- lexerAgda.Syntax.Parser.Lexer
- lexErrorAgda.Syntax.Parser.LexActionsAgda.Syntax.Parser.Monad
- lexInputAgda.Syntax.Parser.Alex
- lexPosAgda.Syntax.Parser.Alex
- LexPredicateAgda.Syntax.Parser.Alex
- lexPrevCharAgda.Syntax.Parser.Alex
- lexSrcFileAgda.Syntax.Parser.Alex
- LexStateAgda.Syntax.Parser.Monad
- lexTokenAgda.Syntax.Parser.LexActions
- lfcCachedAgda.TypeChecking.Monad.Base
- lfcCurrentAgda.TypeChecking.Monad.Base
- lfExistsAgda.Interaction.Library.Base
- lfPathAgda.Interaction.Library.Base
- lFstAgda.Utils.Lens
- LHSAgda.Syntax.AbstractAgda.Syntax.Concrete
- LHSAgda.Syntax.AbstractAgda.Syntax.Concrete
- LHSAppPAgda.Syntax.Abstract.PatternAgda.Syntax.Concrete.Pattern
- lhsAsBindingsAgda.TypeChecking.Rules.LHS
- lhsBodyTypeAgda.TypeChecking.Rules.LHS
- LHSCoreAgda.Syntax.Concrete
- LHSCoreAgda.Syntax.Abstract
- lhsCoreAgda.Syntax.Abstract
- LHSCore'Agda.Syntax.Abstract
- lhsCoreAddChunkAgda.Syntax.Abstract.Pattern
- lhsCoreAddSpineAgda.Syntax.Abstract.PatternAgda.Syntax.Concrete.Pattern
- lhsCoreAllPatternsAgda.Syntax.Abstract.Pattern
- lhsCoreAppAgda.Syntax.Abstract.PatternAgda.Syntax.Concrete.Pattern
- lhsCoreToPatternAgda.Syntax.Abstract.Pattern
- lhsCoreToSpineAgda.Syntax.Abstract.Pattern
- lhsCoreWithAgda.Syntax.Abstract.PatternAgda.Syntax.Concrete.Pattern
- lhsDefNameAgda.Syntax.AbstractAgda.Syntax.Concrete
- lhsDestructorAgda.Syntax.AbstractAgda.Syntax.Concrete
- LHSEllipsisAgda.Syntax.Concrete
- lhsEllipsisAgda.Syntax.Info
- lhsEllipsisPatAgda.Syntax.Concrete
- lhsEllipsisRangeAgda.Syntax.Concrete
- lhsFocusAgda.Syntax.AbstractAgda.Syntax.Concrete
- lhsHasAbsurdAgda.TypeChecking.Rules.LHS
- LHSHeadAgda.Syntax.AbstractAgda.Syntax.Concrete
- lhsHeadAgda.Syntax.AbstractAgda.Syntax.Concrete
- lhsIndexedSplitAgda.TypeChecking.Rules.LHS
- LHSInfoAgda.Syntax.Info
- LHSInfoAgda.Syntax.Info
- lhsInfoAgda.Syntax.Abstract
- LHSNotDefinitionOrConstructorAgda.TypeChecking.Monad.Base
- lhsOriginalPatternAgda.Syntax.Concrete
- LHSOrPatSynAgda.TypeChecking.Monad.Base
- lhsOutPatAgda.TypeChecking.Rules.LHS.Problem
- lhsParametersAgda.TypeChecking.Rules.LHS
- lhsPartialSplitAgda.TypeChecking.Rules.LHS
- lhsPatsAgda.Syntax.AbstractAgda.Syntax.AbstractAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.ConcreteAgda.Syntax.Concrete
- lhsPatsLeftAgda.Syntax.Concrete
- lhsPatSubstAgda.TypeChecking.Rules.LHS
- lhsPatternsAgda.TypeChecking.Rules.LHS
- LHSPatternViewAgda.Syntax.Abstract.PatternAgda.Syntax.Concrete.Pattern
- lhsPatternViewAgda.Syntax.Abstract.PatternAgda.Syntax.Concrete.Pattern
- lhsProblemAgda.TypeChecking.Rules.LHS.Problem
- LHSProjAgda.Syntax.AbstractAgda.Syntax.Concrete
- LHSProjPAgda.Syntax.Abstract.Pattern
- lhsRangeAgda.Syntax.Info
- LHSReducesAgda.TypeChecking.Monad.Base
- LHSResultAgda.TypeChecking.Rules.LHS
- LHSResultAgda.TypeChecking.Rules.LHS
- lhsRewriteEqnAgda.Syntax.Concrete
- LHSStateAgda.TypeChecking.Rules.LHS.Problem
- LHSStateAgda.TypeChecking.Rules.LHS.Problem
- lhsTargetAgda.TypeChecking.Rules.LHS.Problem
- lhsTelAgda.TypeChecking.Rules.LHS.Problem
- LHSToSpineAgda.Syntax.Abstract.Pattern
- lhsToSpineAgda.Syntax.Abstract.Pattern
- lhsVarTeleAgda.TypeChecking.Rules.LHS
- LHSWithAgda.Syntax.AbstractAgda.Syntax.Concrete
- lhsWithExprAgda.Syntax.Concrete
- LHSWithPAgda.Syntax.Abstract.PatternAgda.Syntax.Concrete.Pattern
- lhsWithPatternsAgda.Syntax.AbstractAgda.Syntax.Concrete
- libAboveAgda.Interaction.Library.Base
- LibCacheAgda.Interaction.Library.Base
- LibCacheAgda.Interaction.Library.Base
- libDependsAgda.Interaction.Library.Base
- LibErrorAgda.Interaction.Library.Base
- LibErrorAgda.Interaction.Library.Base
- LibError'Agda.Interaction.Library.Base
- LibErrorIOAgda.Interaction.Library.Base
- LibErrorsAgda.Interaction.Library.Base
- LibErrorsAgda.Interaction.Library.Base
- libErrorsAgda.Interaction.Library.Base
- libErrorsInstalledLibrariesAgda.Interaction.Library.Base
- LibErrWarnsAgda.Interaction.Library.Base
- libFileAgda.Interaction.Library.Base
- libFilePosAgda.Interaction.LibraryAgda.Interaction.Library.Base
- libIncludesAgda.Interaction.Library.Base
- LibMAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LibNameAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LibNameAgda.Interaction.Library.Base
- libNameAgda.Interaction.Library.Base
- libNameBaseAgda.Interaction.Library.Base
- libNameForCurrentDirAgda.Interaction.Library.Base
- libNameVersionAgda.Interaction.Library.Base
- LibNotFoundAgda.Interaction.Library.Base
- LibParseErrorAgda.Interaction.Library.Base
- LibParseErrorAgda.Interaction.Library.Base
- LibPositionInfoAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LibPositionInfoAgda.Interaction.LibraryAgda.Interaction.Library.Base
- libPragmasAgda.Interaction.Library.Base
- LibrariesFileAgda.Interaction.Library.Base
- LibrariesFileAgda.Interaction.Library.Base
- LibrariesFileNotFoundAgda.Interaction.Library.Base
- LibraryErrorAgda.TypeChecking.Monad.Base
- LibraryError_Agda.Interaction.Options.Errors
- libraryIncludePathsAgda.Interaction.Library
- LibraryWarningAgda.TypeChecking.Monad.Base
- libraryWarningNameAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LibStateAgda.Interaction.Library.Base
- LibTooFarDownAgda.TypeChecking.Monad.Base
- LibTooFarDown_Agda.Interaction.Options.Errors
- libToTCMAgda.TypeChecking.Monad.Options
- LibUnknownField_Agda.Interaction.Options.Warnings
- LibWarningAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LibWarningAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LibWarning'Agda.Interaction.Library.Base
- LiftAgda.Syntax.InternalAgda.TypeChecking.Substitute
- liftAgda.Utils.Monad
- liftA2Agda.Utils.Monad
- liftA4Agda.Utils.Applicative
- liftCommandMTAgda.Interaction.InteractionTop
- liftCommandMTLocalStateAgda.Interaction.InteractionTop
- liftList1Agda.Utils.List1
- liftListTAgda.Utils.ListT
- liftLocalStateAgda.Interaction.Command
- liftM2Agda.Utils.Monad
- liftM3Agda.Utils.Monad
- liftM4Agda.Utils.Monad
- liftMaybeAgda.Utils.Maybe
- liftOmitFieldAgda.Interaction.JSON
- liftOmitField2Agda.Interaction.JSON
- liftOmittedFieldAgda.Interaction.JSON
- liftOmittedField2Agda.Interaction.JSON
- liftPAgda.Syntax.Parser.LookAheadAgda.Utils.Permutation
- liftParseJSONAgda.Interaction.JSON
- liftParseJSON2Agda.Interaction.JSON
- liftParseJSONListAgda.Interaction.JSON
- liftParseJSONList2Agda.Interaction.JSON
- liftReduceAgda.TypeChecking.Monad.Base
- liftSAgda.TypeChecking.Substitute.Class
- liftTCMAgda.TypeChecking.Monad.Base
- liftToEncodingAgda.Interaction.JSON
- liftToEncoding2Agda.Interaction.JSON
- liftToEncodingListAgda.Interaction.JSON
- liftToEncodingList2Agda.Interaction.JSON
- liftToJSONAgda.Interaction.JSON
- liftToJSON2Agda.Interaction.JSON
- liftToJSONListAgda.Interaction.JSON
- liftToJSONList2Agda.Interaction.JSON
- liftU1Agda.TypeChecking.Unquote
- liftU2Agda.TypeChecking.Unquote
- lIndexAgda.Utils.IndexedList
- lineLengthAgda.Syntax.Common.Pretty
- LineNumberAgda.Interaction.Library.Base
- lineNumPosAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LInfAgda.TypeChecking.SizedTypes.WarshallSolver
- LispAgda.Interaction.EmacsCommand
- lispifyHighlightingInfoAgda.Interaction.Highlighting.Emacs
- lispifyTokenBasedAgda.Interaction.Highlighting.Emacs
- listAgda.TypeChecking.Primitive.Base
- List1Agda.Utils.List1
- List2Agda.Utils.List2
- List2Agda.Utils.List2
- listArrayAgda.Utils.IArray
- listCaseAgda.Utils.List
- listenDirtyAgda.Utils.Update
- ListenerAgda.TypeChecking.Monad.Base
- listenToMetaAgda.TypeChecking.Monad.MetaVars
- listSAgda.TypeChecking.Substitute.Class
- ListTAgda.Utils.ListT
- ListTAgda.Utils.ListT
- ListTelAgda.Syntax.Internal
- listTelAgda.Syntax.Internal
- ListTel'Agda.Syntax.Internal
- listToMaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- ListZipAgda.Utils.Zipper
- ListZipperAgda.Utils.Zipper
- LitAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.InternalAgda.Syntax.ReflectedAgda.Utils.Haskell.Syntax
- litBranchesAgda.TypeChecking.CompiledClause
- litCaseAgda.TypeChecking.CompiledClause
- LitCharAgda.Syntax.Literal
- litCharAgda.Syntax.Parser.StringLiterals
- LitConflictAgda.TypeChecking.Rules.LHS.Unify.Types
- litConflictAtAgda.TypeChecking.Rules.LHS.Unify.Types
- litConflictLeftAgda.TypeChecking.Rules.LHS.Unify.Types
- litConflictRightAgda.TypeChecking.Rules.LHS.Unify.Types
- LiteralAgda.Syntax.LiteralAgda.Utils.Haskell.Syntax
- literalAgda.Compiler.JS.CompilerAgda.Syntax.Parser.LexActions
- literal'Agda.Syntax.Parser.LexActions
- LiteralTooBigAgda.TypeChecking.Monad.Base
- LiteralTooBig_Agda.Interaction.Options.Errors
- literateExtsShortListAgda.Syntax.Parser.Literate
- literateMdAgda.Syntax.Parser.Literate
- literateOrgAgda.Syntax.Parser.Literate
- literateProcessorsAgda.Syntax.Parser.Literate
- literateRsTAgda.Syntax.Parser.Literate
- literateTeXAgda.Syntax.Parser.Literate
- LitFloatAgda.Syntax.Literal
- LitMetaAgda.Syntax.Literal
- litmetaAgda.Compiler.JS.Compiler
- LitNatAgda.Syntax.Literal
- LitPAgda.Syntax.AbstractAgda.Syntax.ConcreteAgda.Syntax.InternalAgda.Syntax.Reflected
- litPAgda.Syntax.Internal
- LitQNameAgda.Syntax.Literal
- litqnameAgda.Compiler.JS.Compiler
- LitSAgda.Syntax.Reflected
- LitStringAgda.Syntax.Literal
- litStringAgda.Syntax.Parser.StringLiterals
- litTypeAgda.TypeChecking.Monad.Builtin
- litTypeAgda.TypeChecking.Rules.LHS.Unify.Types
- LitWord64Agda.Syntax.Literal
- LMAgda.TypeChecking.Primitive.Cubical
- lModCohesionAgda.Syntax.Common
- lModPolarityAgda.Syntax.Common
- lModQuantityAgda.Syntax.Common
- lModRelevanceAgda.Syntax.Common
- LoadedFileCacheAgda.TypeChecking.Monad.Base
- LoadedFileCacheAgda.TypeChecking.Monad.Base
- LocalAgda.Compiler.JS.Syntax
- localAgda.Compiler.JS.Compiler
- LocalBindAgda.Utils.Haskell.Syntax
- localBindingSourceAgda.Syntax.Scope.Base
- localCacheAgda.TypeChecking.Monad.Caching
- LocalCandidateAgda.TypeChecking.Monad.Base
- LocalConfluenceCheckAgda.Interaction.OptionsAgda.Interaction.Options
- LocalDisplayFormAgda.TypeChecking.Monad.Base
- LocalIdAgda.Compiler.JS.Syntax
- LocalIdAgda.Compiler.JS.Syntax
- LocalKAgda.TypeChecking.DiscrimTree.Types
- locallyAgda.Utils.Lens
- locally'Agda.Utils.Lens
- locallyReconstructedAgda.TypeChecking.Monad.Base
- locallyReduceAllDefsAgda.TypeChecking.Monad.Base
- locallyReduceDefsAgda.TypeChecking.Monad.Base
- locallyScopeAgda.TypeChecking.Monad.State
- locallyStateAgda.Utils.Lens
- locallyTCAgda.TypeChecking.Monad.Base
- locallyTCStateAgda.TypeChecking.Monad.Base
- LocalMetaStoreAgda.TypeChecking.Monad.Base
- LocalMetaStoresAgda.TypeChecking.Monad.MetaVars
- LocalMetaStoresAgda.TypeChecking.Monad.MetaVars
- localNamesAgda.Syntax.Scope.Flat
- localNameSpaceAgda.Syntax.Scope.Base
- localRAgda.TypeChecking.Monad.Base
- localScopeAgda.TypeChecking.Monad.State
- localShadowedByAgda.Syntax.Scope.Base
- localStateAgda.Utils.Monad
- localStateCommandMAgda.Interaction.Command
- localTCAgda.TypeChecking.Monad.Base
- localTCStateAgda.TypeChecking.Monad.State
- localTCStateSavingAgda.TypeChecking.Monad.State
- localTCStateSavingWarningsAgda.TypeChecking.Monad.State
- localToAbstractAgda.Syntax.Translation.ConcreteToAbstract
- LocalVAgda.Syntax.Concrete.Operators.Parser
- LocalVarAgda.Syntax.Scope.Base
- LocalVarAgda.Syntax.Scope.Base
- localVarAgda.Syntax.Scope.Base
- LocalVarsAgda.Syntax.Scope.Base
- locatedTypeErrorAgda.TypeChecking.Monad.Base
- locateFlagAgda.Setup.EmacsMode
- LockAgda.Syntax.Common
- LockAttributeAgda.Syntax.Concrete.Attribute
- lockAttributeTableAgda.Syntax.Concrete.Attribute
- LockOLockAgda.Syntax.Common
- LockOriginAgda.Syntax.Common
- LockOTickAgda.Syntax.Common
- LockUnivAgda.Syntax.Internal
- loffsetAgda.TypeChecking.SizedTypes.WarshallSolver
- logHtmlAgda.Interaction.Highlighting.HTML.Base
- LogHtmlTAgda.Interaction.Highlighting.HTML.Base
- logLaTeXAgda.Interaction.Highlighting.LaTeX.Base
- LogMessageAgda.Interaction.Highlighting.LaTeX.Base
- LogMessageAgda.Interaction.Highlighting.LaTeX.Base
- logMsgToTextAgda.Interaction.Highlighting.LaTeX.Base
- LoneConstructorAgda.Syntax.Concrete
- loneFunsAgda.Syntax.Concrete.Definitions.Monad
- LoneProjectionLikeAgda.TypeChecking.ProjectionLike
- LoneSigAgda.Syntax.Concrete.Definitions.Monad
- LoneSigAgda.Syntax.Concrete.Definitions.Monad
- loneSigKindAgda.Syntax.Concrete.Definitions.Monad
- loneSigNameAgda.Syntax.Concrete.Definitions.Monad
- loneSigRangeAgda.Syntax.Concrete.Definitions.Monad
- LoneSigsAgda.Syntax.Concrete.Definitions.Monad
- loneSigsAgda.Syntax.Concrete.Definitions.Monad
- loneSigsFromLoneNamesAgda.Syntax.Concrete.Definitions.Monad
- longestPathsAgda.Utils.Graph.AdjacencyMap.Unidirectional
- LookAheadAgda.Syntax.Parser.LookAhead
- lookAheadErrorAgda.Syntax.Parser.LookAhead
- LookupAgda.Compiler.JS.Syntax
- lookupAgda.Compiler.JS.SubstitutionAgda.Utils.AssocListAgda.Utils.BiMapAgda.Utils.Graph.AdjacencyMap.UnidirectionalAgda.Utils.HashTableAgda.Utils.Map1Agda.Utils.Trie
- lookupBackendAgda.TypeChecking.Monad.State
- lookupBVAgda.TypeChecking.Monad.Context
- lookupBV'Agda.TypeChecking.Monad.Context
- lookupBV_Agda.TypeChecking.Monad.Context
- lookupDefinitionAgda.TypeChecking.Monad.State
- lookupDTAgda.TypeChecking.DiscrimTree
- lookupEdgeAgda.TypeChecking.SizedTypes.WarshallSolver
- lookupGEAgda.Utils.Map1Agda.Utils.Set1
- lookupGTAgda.Utils.Map1Agda.Utils.Set1
- lookupImportedNameAgda.Syntax.Scope.Monad
- lookupIndexAgda.Utils.IndexedListAgda.Utils.Map1Agda.Utils.Set1
- lookupInteractionIdAgda.TypeChecking.Monad.MetaVars
- lookupInteractionMetaAgda.TypeChecking.Monad.MetaVars
- lookupInteractionMeta_Agda.TypeChecking.Monad.MetaVars
- lookupInteractionPointAgda.TypeChecking.Monad.MetaVars
- lookupLEAgda.Utils.Map1Agda.Utils.Set1
- lookupLocalMetaAgda.TypeChecking.Monad.MetaVars
- lookupLocalMeta'Agda.TypeChecking.Monad.MetaVars
- lookupLTAgda.Utils.Map1Agda.Utils.Set1
- lookupMEAgda.TypeChecking.Serialise.Base
- lookupMetaAgda.TypeChecking.Monad.MetaVars
- lookupMetaAgda.Syntax.Internal.Defs
- lookupMetaInstantiationAgda.TypeChecking.Monad.MetaVars
- lookupMetaJudgementAgda.TypeChecking.Monad.MetaVars
- lookupMetaModalityAgda.TypeChecking.Monad.MetaVars
- lookupMinAgda.Utils.BoolSet
- lookupMutualBlockAgda.TypeChecking.Monad.Mutual
- lookupPathAgda.Utils.Trie
- lookupPatternSynAgda.TypeChecking.Monad.State
- lookupPrimitiveFunctionAgda.TypeChecking.Primitive.Base
- lookupPrimitiveFunctionQAgda.TypeChecking.Primitive.Base
- lookupSAgda.TypeChecking.Substitute.Class
- lookupSectionAgda.TypeChecking.Monad.Signature
- lookupSinglePatternSynAgda.TypeChecking.Monad.State
- lookupTrieAgda.Utils.Trie
- lookupUnifyDTAgda.TypeChecking.DiscrimTree
- lookupVarMapAgda.TypeChecking.Free.Lazy
- lowerBoundsAgda.TypeChecking.SizedTypes.WarshallSolver
- lowMetaPriorityAgda.TypeChecking.Monad.Base
- lparenAgda.Syntax.Common.Pretty
- lSndAgda.Utils.Lens
- LtAgda.TypeChecking.SizedTypes.Syntax
- ltAgda.Termination.Order
- lTextCAgda.TypeChecking.Serialise.Base
- lTextDAgda.TypeChecking.Serialise.Base
- lTextEAgda.TypeChecking.Serialise.Base
- ltrimAgda.Utils.String
- LTypeAgda.TypeChecking.Primitive.Cubical
- LTypeAgda.TypeChecking.Primitive.Cubical
- lTypeLevelAgda.TypeChecking.Primitive.Cubical
- lubAgda.TypeChecking.SizedTypes.WarshallSolver
- lub'Agda.TypeChecking.SizedTypes.WarshallSolver
- LvlAgda.TypeChecking.Primitive
- LvlAgda.TypeChecking.Primitive
- lvlMaxAgda.TypeChecking.Level
- lvlSucAgda.TypeChecking.Level
- lvlTypeAgda.TypeChecking.Level
- lvlZeroAgda.TypeChecking.Level