IndexAgda-2.7.0.1
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
- lambdaLiftExprAgda.Syntax.Abstract
- lambdaModalityCheckAgda.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
- 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.Compiler.BackendAgda.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
- LegendMatrixAgda.Utils.Warshall
- LegendMatrixAgda.Utils.Warshall
- LElAgda.TypeChecking.Primitive.Cubical
- lengthAgda.Utils.List1
- Lens'Agda.Utils.Lens
- lensAccumStatisticsAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- lensAccumStatisticsPAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- lensAmodNameAgda.Syntax.Scope.Base
- lensAnameNameAgda.Syntax.Scope.Base
- LensAnnotationAgda.Syntax.Common
- LensArgInfoAgda.Syntax.Common
- LensAttributeAgda.Syntax.Concrete.Attribute
- LensClosureAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- lensClosureAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LensCohesionAgda.Syntax.Common
- lensCollapseDefaultAgda.Utils.WithDefault
- LensCommandLineOptionsAgda.Interaction.Options.Lenses
- LensConNameAgda.Syntax.Internal
- lensConstructorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- lensEqTelAgda.TypeChecking.Rules.LHS.Unify.Types
- lensField1Agda.Utils.Lens.Examples
- lensField2Agda.Utils.Lens.Examples
- 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
- LensFreeVariablesAgda.Syntax.Common
- lensFreshAgda.TypeChecking.Serialise.Base
- lensFunctionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LensGetAgda.Utils.Lens
- lensHeadAgda.Utils.List1
- LensHidingAgda.Syntax.Common
- LensIncludePathsAgda.Interaction.Options.Lenses
- LensInScopeAgda.Syntax.Concrete.Name
- lensInScopeAgda.Syntax.Concrete.Name
- LensIsAbstractAgda.Syntax.Common
- lensIsAbstractAgda.Syntax.Common
- LensIsOpaqueAgda.Syntax.Common
- lensIsOpaqueAgda.Syntax.Common
- lensKeepDefaultAgda.Utils.WithDefault
- lensLastAgda.Utils.List1
- lensLexInputAgda.Syntax.Parser.Alex
- LensLockAgda.Syntax.Common
- LensMapAgda.Utils.Lens
- LensModalityAgda.Syntax.Common
- LensNamedAgda.Syntax.Common
- lensNamedAgda.Syntax.Common
- lensNameIdAgda.Syntax.Concrete.Definitions.Monad
- lensNamePartsAgda.Syntax.Concrete.Name
- 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
- 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
- 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
- lensPersistentStateAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- LensPersistentVerbosityAgda.Interaction.Options.Lenses
- LensPragmaOptionsAgda.Interaction.Options.Lenses
- lensPragmaOptionsAgda.Interaction.Options.Lenses
- lensQNameNameAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.Name
- LensQuantityAgda.Syntax.Common
- lensRecEtaAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- lensRecordAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- lensRecTelAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LensRelevanceAgda.Syntax.Common
- LensSafeModeAgda.Interaction.Options.Lenses
- LensSetAgda.Utils.Lens
- lensSingleWarningAgda.Interaction.Options.Warnings
- LensSortAgda.Syntax.Internal
- lensSortAgda.Syntax.Internal
- LensTCEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- lensTCEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- lensTheDefAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- lensTopLevelModuleNamePartsAgda.Syntax.TopLevelModuleName
- lensVarTelAgda.TypeChecking.Rules.LHS.Unify.Types
- LensVerbosityAgda.Interaction.Options.Lenses
- 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
- LetBindAgda.Syntax.Abstract
- LetBindingAgda.Compiler.BackendAgda.Syntax.AbstractAgda.TypeChecking.Monad.Base
- LetBindingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LetBindingsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LetBoundAgda.Syntax.Scope.Base
- LetDeclaredVariableAgda.Syntax.Abstract
- LetInfoAgda.Syntax.Info
- LetOpenAgda.Syntax.Abstract
- LetOpenModuleAgda.Syntax.Scope.Monad
- letOriginAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LetPatBindAgda.Syntax.Abstract
- LetRangeAgda.Syntax.Info
- letTermAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- letTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LevelAgda.Interaction.Highlighting.Generate
- LevelAgda.Syntax.Internal
- LevelAgda.BenchmarkingAgda.Syntax.Internal
- Level'Agda.Syntax.Internal
- LevelAtomAgda.Syntax.Internal
- LevelCmpAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- LevelsAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- lfcCurrentAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- lhsOriginalPatternAgda.Syntax.Concrete
- LHSOrPatSynAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.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
- 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
- libNameForCurrentDirAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- libraryIncludePathsAgda.Interaction.Library
- LibraryWarningAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- libraryWarningNameAgda.Interaction.LibraryAgda.Interaction.Library.Base
- LibStateAgda.Interaction.Library.Base
- libToTCMAgda.Compiler.BackendAgda.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
- liftCommandMTAgda.Interaction.InteractionTop
- liftCommandMTLocalStateAgda.Interaction.InteractionTop
- liftList1Agda.Utils.List1
- liftListTAgda.Utils.ListT
- liftLocalStateAgda.Interaction.InteractionTop
- 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.Compiler.BackendAgda.TypeChecking.Monad.Base
- liftSAgda.TypeChecking.Substitute.Class
- liftTCMAgda.Compiler.BackendAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Base
- listenToMetaAgda.Compiler.BackendAgda.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
- literateExtsShortListAgda.Syntax.Parser.Literate
- literateMdAgda.Syntax.Parser.Literate
- literateOrgAgda.Syntax.Parser.Literate
- literateProcessorsAgda.Syntax.Parser.Literate
- literateRsTAgda.Syntax.Parser.Literate
- literateSrcFileAgda.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.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- litTypeAgda.TypeChecking.Rules.LHS.Unify.Types
- LitWord64Agda.Syntax.Literal
- LMAgda.TypeChecking.Primitive.Cubical
- lModCohesionAgda.Syntax.Common
- lModQuantityAgda.Syntax.Common
- lModRelevanceAgda.Syntax.Common
- LoadedFileCacheAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LoadedFileCacheAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LocalAgda.Compiler.JS.Syntax
- localAgda.Compiler.JS.Compiler
- LocalBindAgda.Utils.Haskell.Syntax
- localBindingSourceAgda.Syntax.Scope.Base
- localCacheAgda.Compiler.BackendAgda.TypeChecking.Monad.Caching
- LocalCandidateAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LocalConfluenceCheckAgda.Interaction.Options
- LocalDisplayFormAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LocalIdAgda.Compiler.JS.Syntax
- LocalIdAgda.Compiler.JS.Syntax
- LocalKAgda.TypeChecking.DiscrimTree.Types
- locallyAgda.Utils.Lens
- locally'Agda.Utils.Lens
- locallyReconstructedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- locallyReduceAllDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- locallyReduceDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- locallyScopeAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- locallyStateAgda.Utils.Lens
- locallyTCAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- locallyTCStateAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LocalMetaStoreAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- LocalMetaStoresAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- LocalMetaStoresAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- localNamesAgda.Syntax.Scope.Flat
- localNameSpaceAgda.Syntax.Scope.Base
- localRAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- localScopeAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- localShadowedByAgda.Syntax.Scope.Base
- localStateAgda.Utils.Monad
- localStateCommandMAgda.Interaction.InteractionTop
- localTCAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- localTCStateAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- localTCStateSavingAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- localTCStateSavingWarningsAgda.Compiler.BackendAgda.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
- LocalVsImportedModuleClashAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- locatedTypeErrorAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- 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
- 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.Trie
- lookupBackendAgda.Compiler.Backend
- lookupBVAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- lookupBV'Agda.Compiler.BackendAgda.TypeChecking.Monad.Context
- lookupBV_Agda.Compiler.BackendAgda.TypeChecking.Monad.Context
- lookupDefinitionAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- lookupDTAgda.TypeChecking.DiscrimTree
- lookupEdgeAgda.TypeChecking.SizedTypes.WarshallSolver
- lookupImportedNameAgda.Syntax.Scope.Monad
- lookupIndexAgda.Utils.IndexedList
- lookupInteractionIdAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupInteractionMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupInteractionMeta_Agda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupInteractionPointAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupLocalMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupLocalMeta'Agda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupMEAgda.TypeChecking.Serialise.Base
- lookupMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupMetaAgda.Syntax.Internal.Defs
- lookupMetaInstantiationAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupMetaJudgementAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupMetaModalityAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- lookupMinAgda.Utils.BoolSet
- lookupMutualBlockAgda.Compiler.BackendAgda.TypeChecking.Monad.Mutual
- lookupPathAgda.Utils.Trie
- lookupPatternSynAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- lookupPrimitiveFunctionAgda.TypeChecking.Primitive.Base
- lookupPrimitiveFunctionQAgda.TypeChecking.Primitive.Base
- lookupQNameAgda.Syntax.Translation.AbstractToConcrete
- lookupSAgda.TypeChecking.Substitute.Class
- lookupSectionAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- lookupSinglePatternSynAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- lookupTrieAgda.Utils.Trie
- lookupUnifyDTAgda.TypeChecking.DiscrimTree
- lookupVarMapAgda.TypeChecking.Free.Lazy
- lowerBoundsAgda.TypeChecking.SizedTypes.WarshallSolver
- lowMetaPriorityAgda.Compiler.BackendAgda.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