IndexAgda-2.7.0.1
N
- NameAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.NameAgda.Utils.Haskell.Syntax
- NameAgda.Interaction.Highlighting.PreciseAgda.Syntax.Abstract.NameAgda.Syntax.Common.AspectAgda.Syntax.Concrete.Name
- nameBindingSiteAgda.Syntax.Abstract.Name
- nameCAgda.TypeChecking.Serialise.Base
- nameCanonicalAgda.Syntax.Abstract.Name
- nameConcreteAgda.Syntax.Abstract.Name
- NamedAgda.Syntax.Common
- NamedAgda.Syntax.Common
- nameDAgda.TypeChecking.Serialise.Base
- namedAgda.Syntax.Common
- Named_Agda.Syntax.Common
- NamedArgAgda.Syntax.Common
- namedArgAgda.Syntax.Common
- namedArgFromDomAgda.Syntax.Internal
- namedArgNameAgda.Syntax.Abstract.Name
- NamedArgsAgda.Syntax.Internal
- NamedBindingAgda.Syntax.Concrete.Pretty
- NamedBindingAgda.Syntax.Concrete.Pretty
- namedBindingAgda.Syntax.Concrete.Pretty
- namedBindsToTelAgda.TypeChecking.Substitute
- namedBindsToTel1Agda.TypeChecking.Substitute
- NamedClauseAgda.Syntax.Translation.InternalToAbstract
- NamedClauseAgda.Syntax.Translation.InternalToAbstract
- namedClausePatsAgda.Syntax.Internal
- namedDBVarPAgda.Syntax.Internal
- NamedMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NamedMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- namedMetaOfAgda.Interaction.BasicOpsAgda.Interaction.EmacsTop
- NamedNameAgda.Syntax.Common
- NamedRigidAgda.TypeChecking.SizedTypes.Syntax
- NamedRigidAgda.TypeChecking.SizedTypes.Syntax
- namedSameAgda.Syntax.Common
- namedTelVarsAgda.TypeChecking.Substitute
- namedThingAgda.Syntax.Common
- namedVarPAgda.Syntax.Internal
- NamedWhereModuleInRefinedContextAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nameFieldAAgda.Syntax.Concrete
- nameFixityAgda.Syntax.Abstract.Name
- NameIdAgda.Syntax.Common
- NameIdAgda.Syntax.Common
- nameIdAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.Name
- NameInScopeAgda.Syntax.Concrete.Name
- nameInScopeAgda.Syntax.Concrete.Name
- nameIsRecordNameAgda.Syntax.Abstract.Name
- NameKindAgda.Compiler.MAlonzo.MiscAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- NameKindsAgda.Interaction.Highlighting.FromAbstract
- NameMapAgda.Syntax.Scope.Base
- NameMapEntryAgda.Syntax.Scope.Base
- NameMapEntryAgda.Syntax.Scope.Base
- NameMetadataAgda.Syntax.Scope.Base
- nameNamePartsAgda.Syntax.Concrete.Name
- NameNotModuleAgda.Syntax.Scope.Base
- NameOfAgda.Syntax.Common
- NameOfAgda.Syntax.Common
- nameOfAgda.Syntax.Common
- nameOfBVAgda.Compiler.BackendAgda.TypeChecking.Monad.Context
- nameOfBV'Agda.Compiler.BackendAgda.TypeChecking.Monad.Context
- nameOfFlatAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- nameOfHCompAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nameOfInfAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- nameOfSharpAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- nameOfTranspAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nameOfUnivAgda.Compiler.BackendAgda.TypeChecking.Monad.Builtin
- NameOrModuleAgda.Syntax.Scope.Base
- NamePartAgda.Syntax.Concrete.Name
- NamePartAgda.TypeChecking.Unquote
- NamePartsAgda.Syntax.Concrete.Name
- namePartsAgda.Syntax.Concrete.Name
- nameRangeAgda.Syntax.Concrete.NameAgda.Syntax.Concrete.Name
- nameRootAgda.Syntax.Concrete.Name
- NamesAgda.TypeChecking.Names
- namesAndMetasInAgda.Syntax.Internal.Names
- namesAndMetasIn'Agda.Syntax.Internal.Names
- NamesInAgda.Syntax.Internal.Names
- namesInAgda.Syntax.Internal.Names
- namesIn'Agda.Syntax.Internal.Names
- NamesInScopeAgda.Syntax.Scope.Base
- namesInScopeAgda.Syntax.Scope.Base
- NameSpaceAgda.Syntax.Scope.Base
- NameSpaceAgda.Syntax.Scope.Base
- nameSpaceAccessAgda.Syntax.Scope.Base
- NameSpaceIdAgda.Syntax.Scope.Base
- NamesTAgda.TypeChecking.Names
- NamesTAgda.TypeChecking.Names
- namesToNotationAgda.Syntax.Notation
- nameStringPartsAgda.Syntax.Concrete.Name
- nameSuffixAgda.Syntax.Concrete.Name
- nameSuffixViewAgda.Syntax.Concrete.Name
- NameTagAgda.Syntax.Scope.Base
- nameToArgNameAgda.Syntax.Abstract.Name
- NameToExprAgda.Syntax.Abstract
- nameToExprAgda.Syntax.Abstract
- nameToPatVarNameAgda.Syntax.Internal
- nameToRawNameAgda.Syntax.Concrete.Name
- NAPAgda.Syntax.Abstract.Pattern
- NAPsAgda.Syntax.AbstractAgda.Syntax.Internal
- NAPs1Agda.Syntax.Abstract
- NatAgda.TypeChecking.Primitive
- NatAgda.Syntax.Common
- NatAgda.TypeChecking.Primitive
- natAgda.Compiler.Treeless.EliminateLiteralPatterns
- natSizeAgda.Utils.Size
- NeedOptionCopatternsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NeedOptionPropAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NeedOptionRewritingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NeedOptionTwoLevelAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NegAppAgda.Utils.Haskell.Syntax
- NegativeAgda.TypeChecking.SizedTypes.WarshallSolver
- negativeAgda.TypeChecking.SizedTypes.WarshallSolver
- NegativeUnificationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- negPlusKViewAgda.Syntax.Treeless
- neighboursAgda.Utils.Graph.AdjacencyMap.Unidirectional
- neighboursMapAgda.Utils.Graph.AdjacencyMap.Unidirectional
- nestAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- nestedCommentAgda.Syntax.Parser.Comments
- NeutralArgAgda.TypeChecking.MetaVars
- NeverColourAgda.Interaction.Options
- NeverProjectionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- neverUnblockAgda.Syntax.Internal.Blockers
- newArgsMetaAgda.TypeChecking.MetaVars
- newArgsMeta'Agda.TypeChecking.MetaVars
- newArgsMetaCtxAgda.TypeChecking.MetaVars
- newArgsMetaCtx'Agda.TypeChecking.MetaVars
- newArgsMetaCtx''Agda.TypeChecking.MetaVars
- NewFlexAgda.Utils.Warshall
- newInstanceMetaAgda.TypeChecking.MetaVars
- newInstanceMetaCtxAgda.TypeChecking.MetaVars
- newInteractionMetaArgAgda.TypeChecking.Implicit
- newIORefAgda.Utils.IORef
- newLayoutBlockAgda.Syntax.Parser.Layout
- newLevelMetaAgda.TypeChecking.MetaVars
- newMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- newMeta'Agda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- newMetaArgAgda.TypeChecking.Implicit
- newMetaTCM'Agda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- NewModuleNameAgda.Syntax.Translation.ConcreteToAbstract
- NewModuleQNameAgda.Syntax.Translation.ConcreteToAbstract
- NewModuleQNameAgda.Syntax.Translation.ConcreteToAbstract
- NewNameAgda.Syntax.Translation.ConcreteToAbstract
- newNamedValueMetaAgda.TypeChecking.MetaVars
- newNamedValueMeta'Agda.TypeChecking.MetaVars
- NewNotationAgda.Syntax.Notation
- NewNotationAgda.Syntax.Notation
- newOptionNameAgda.Interaction.Options
- newProblemAgda.TypeChecking.Constraints
- newProblem_Agda.TypeChecking.Constraints
- newPtrAgda.Utils.Pointer
- newQuestionMarkAgda.TypeChecking.MetaVars
- newQuestionMark'Agda.TypeChecking.MetaVars
- newRecordMetaAgda.TypeChecking.MetaVars
- newRecordMetaCtxAgda.TypeChecking.MetaVars
- newSectionAgda.TypeChecking.Rules.Def
- newSortMetaAgda.TypeChecking.MetaVars
- newSortMetaBelowInfAgda.TypeChecking.MetaVars
- newSortMetaCtxAgda.TypeChecking.MetaVars
- newTelMetaAgda.TypeChecking.MetaVars
- NewTypeAgda.Utils.Haskell.Syntax
- newTypeMetaAgda.TypeChecking.MetaVars
- newTypeMeta'Agda.TypeChecking.MetaVars
- newTypeMeta_Agda.TypeChecking.MetaVars
- newValueMetaAgda.TypeChecking.MetaVars
- newValueMeta'Agda.TypeChecking.MetaVars
- newValueMetaCtxAgda.TypeChecking.MetaVars
- newValueMetaCtx'Agda.TypeChecking.MetaVars
- newValueMetaOfKindAgda.TypeChecking.MetaVars
- nextCharAgda.Syntax.Parser.LookAhead
- nextFreshAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nextFresh'Agda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nextHoleAgda.Utils.Zipper
- nextIsForcedAgda.TypeChecking.Forcing
- nextLocalMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- nextNameAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.Name
- nextNameIdAgda.Syntax.Concrete.Definitions.Monad
- nextNodeAgda.Utils.Warshall
- nextPolarityAgda.TypeChecking.Polarity
- nextRawNameAgda.Syntax.Concrete.Name
- nextSplitAgda.TypeChecking.CompiledClause.Compile
- nextSuffixAgda.Utils.Suffix
- NiceAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Monad
- NiceAgda.Syntax.Concrete.Definitions.Monad
- NiceConstructorAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceDataDefAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceDataSigAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceDeclarationAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- niceDeclarationsAgda.Syntax.Concrete.Definitions
- NiceEnvAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Monad
- NiceEnvAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Monad
- NiceFieldAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceFunClauseAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceGeneralizeAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- niceHasAbstractAgda.Syntax.Concrete.Definitions
- NiceImportAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceLoneConstructorAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceModuleAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceModuleMacroAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceMutualAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceOpaqueAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceOpenAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NicePatternSynAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NicePragmaAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceRecDefAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceRecSigAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceStateAgda.Syntax.Concrete.Definitions.Monad
- NiceStateAgda.Syntax.Concrete.Definitions.Monad
- NiceTypeSignatureAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceUnquoteDataAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceUnquoteDeclAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- NiceUnquoteDefAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- niceWarnAgda.Syntax.Concrete.Definitions.Monad
- niceWarningAgda.Syntax.Concrete.Definitions.Monad
- NiceWarningsAgda.Syntax.Concrete.Definitions.Monad
- NicifierIssueAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NilAgda.Utils.IndexedList
- nilListTAgda.Utils.ListT
- NKAgda.Syntax.Concrete.Operators.Parser
- NLMAgda.TypeChecking.Rewriting.NonLinMatch
- NLMAgda.TypeChecking.Rewriting.NonLinMatch
- nlmEqsAgda.TypeChecking.Rewriting.NonLinMatch
- NLMStateAgda.TypeChecking.Rewriting.NonLinMatch
- NLMStateAgda.TypeChecking.Rewriting.NonLinMatch
- nlmSubAgda.TypeChecking.Rewriting.NonLinMatch
- NLPatAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NLPatToTermAgda.TypeChecking.Rewriting.NonLinPattern
- nlPatToTermAgda.TypeChecking.Rewriting.NonLinPattern
- NLPatVarsAgda.TypeChecking.Rewriting.NonLinPattern
- nlPatVarsAgda.TypeChecking.Rewriting.NonLinPattern
- nlPatVarsUnderAgda.TypeChecking.Rewriting.NonLinPattern
- NLPSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NLPTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NLPTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nlpTypeSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nlpTypeUnElAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nmidAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nmSuggestionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoAgda.TypeChecking.Coverage.MatchAgda.TypeChecking.Patterns.Match
- NoAbsAgda.Syntax.Internal
- noabsAppAgda.TypeChecking.Substitute.Class
- NoAppAgda.TypeChecking.EtaContract
- NoArgAgda.Interaction.Options
- noAugAgda.Termination.CallMatrix
- NoBindingForBuiltinAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoBindingForPrimitiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- noCheckCoverAgda.Compiler.MAlonzo.Primitives
- noCompiledRepAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- noConPatternInfoAgda.Syntax.Internal
- noConstraintsAgda.TypeChecking.Constraints
- noConstraints'Agda.TypeChecking.Constraints
- NoCoverageCheckAgda.Syntax.Common
- NoCoverageCheckPragmaAgda.Syntax.Concrete
- NoCubicalAgda.TypeChecking.Rules.LHS.UnifyAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- noDataDefParamsAgda.Syntax.Abstract
- NodeAgda.TypeChecking.PositivityAgda.TypeChecking.Serialise.BaseAgda.TypeChecking.SizedTypes.WarshallSolverAgda.Utils.Warshall
- NodeAgda.Termination.CallGraph
- nodeCAgda.TypeChecking.Serialise.Base
- nodeDAgda.TypeChecking.Serialise.Base
- nodeEAgda.TypeChecking.Serialise.Base
- NodeFlexAgda.TypeChecking.SizedTypes.WarshallSolver
- nodeFromSizeExprAgda.TypeChecking.SizedTypes.WarshallSolver
- NodeIdAgda.Utils.Warshall
- NodeInftyAgda.TypeChecking.SizedTypes.WarshallSolver
- NodeKAgda.Syntax.Concrete.Operators.Parser.Monad
- nodeMapAgda.Utils.Warshall
- nodeMemoAgda.TypeChecking.Serialise.Base
- NodeRigidAgda.TypeChecking.SizedTypes.WarshallSolver
- NodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- NodesAgda.TypeChecking.SizedTypes.WarshallSolver
- NodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- nodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- nodeToSizeExprAgda.TypeChecking.SizedTypes.WarshallSolver
- NodeZeroAgda.TypeChecking.SizedTypes.WarshallSolver
- NoEllipsisAgda.Syntax.Common
- NoErasedMatchesAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoEtaAgda.Syntax.Common
- noFixityAgda.Syntax.Common
- noFixity'Agda.Syntax.Common
- noFreeVariablesAgda.Syntax.Common
- NoGeneralizableArgsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoGeneralizeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- noGeneralizedVarsIfLetOpenAgda.Syntax.Scope.Monad
- NoGuardednessFlagAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoGuardednessFlag_Agda.Interaction.Options.Warnings
- NoHighlightingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoHintsAgda.Mimer.Options
- NoInfoAgda.TypeChecking.Coverage.SplitClause
- NoInsertNeededAgda.TypeChecking.Implicit
- NoInvAgda.TypeChecking.Injectivity
- NoKAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nolamAgda.TypeChecking.Primitive.Base
- NoLeftInvAgda.TypeChecking.Rules.LHS.UnifyAgda.TypeChecking.Rules.LHS.Unify.LeftInverse
- noLoneSigsAgda.Syntax.Concrete.Definitions.Monad
- NoMainAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoMain_Agda.Interaction.Options.Warnings
- NoMetadataAgda.Syntax.Scope.Base
- noMetasAgda.Syntax.Internal.MetaVars
- noModuleNameAgda.Syntax.Abstract.Name
- noModuleNameHashAgda.Syntax.TopLevelModuleName.Boot
- noMutualBlockAgda.Compiler.BackendAgda.TypeChecking.Monad.Mutual
- NonAgda.Syntax.Concrete.Operators.Parser
- NoNameAgda.Syntax.Concrete.Name
- noNameAgda.Syntax.Concrete.Name
- noName_Agda.Syntax.Concrete.Name
- NonAssocAgda.Syntax.Common
- NonCanonicalAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nonConstrainingAgda.TypeChecking.Constraints
- NoneAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NonEmptyAgda.Utils.List1
- nonEmptyAgda.Utils.List1
- NonFatalErrorsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- nonFatalErrorsAgda.TypeChecking.Warnings
- nonFatalErrorsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NonfixKAgda.Syntax.Concrete.Operators.Parser.Monad
- NonfixNotationAgda.Syntax.Notation
- nonIncreasingAgda.Termination.Order
- NonInteractiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NonLazyAgda.TypeChecking.Patterns.Match
- nonLinMatchAgda.TypeChecking.Rewriting.NonLinMatch
- NoNoErrorAgda.Interaction.Options.Warnings
- NoNotationAgda.Syntax.Notation
- noNotationAgda.Syntax.Common
- nonRecursiveRecordAgda.TypeChecking.Records
- NonStrictAgda.Syntax.Common
- nonStrictToIrrAgda.Syntax.Common
- nonStrictToRelAgda.Syntax.Common
- NonTerminatingAgda.Syntax.Common
- NonTerminatingReductionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NonvariantAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoOpaqueAgda.Syntax.Common
- NoOutputTypeNameAgda.TypeChecking.InstanceArguments
- NoOverlapAgda.Syntax.Common
- NoParameterOfNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoParseForApplicationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoParseForLHSAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoPlaceholderAgda.Syntax.Common
- noPlaceholderAgda.Syntax.Common
- NoPositivityCheckAgda.Syntax.Common
- NoPositivityCheckPragmaAgda.Syntax.Concrete
- NoPostfixAgda.TypeChecking.ProjectionLike
- noProblemRestAgda.TypeChecking.Rules.LHS.ProblemRest
- noProfileOptionsAgda.Utils.ProfileOptions
- NoProjectedVarAgda.TypeChecking.MetaVars
- noProjectedVarAgda.TypeChecking.MetaVars
- NoProjectionAgda.TypeChecking.ProjectionLike
- NoRangeAgda.Syntax.Position
- noRangeAgda.Syntax.Position
- NoReductionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoRHSRequiresAbsurdPatternAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- normalAgda.Syntax.Parser.Lexer
- normalFormAgda.Interaction.BasicOps
- NormaliseAgda.TypeChecking.Reduce
- normaliseAgda.TypeChecking.Reduce
- normalise'Agda.TypeChecking.Reduce
- NormalisedAgda.Interaction.Base
- NormaliseProjPAgda.TypeChecking.Records
- normaliseProjPAgda.TypeChecking.Coverage
- normaliseProjPAgda.TypeChecking.Records
- normalizeNamesAgda.Compiler.Treeless.NormalizeNames
- normalMetaPriorityAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- noSectionAgda.Syntax.Notation
- NoSimplificationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoSubstAgda.TypeChecking.Substitute.Class
- NoSubstAgda.TypeChecking.Substitute.Class
- NoSuchBuiltinNameAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoSuchModuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoSuchNameAgda.TypeChecking.Implicit
- NoSuchPrimitiveFunctionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NoSuffixAgda.Syntax.Abstract.Name
- notAgda.Utils.Boolean
- not'Agda.Syntax.Parser.Alex
- NotADatatypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotAffectedByOpaqueAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotAffectedByOpaque_Agda.Interaction.Options.Warnings
- notaFixityAgda.Syntax.Notation
- notaIsOperatorAgda.Syntax.Notation
- noTakenNamesAgda.Syntax.Translation.AbstractToConcrete
- NotAllowedInMutualAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- NotAllowedInMutual_Agda.Interaction.Options.Warnings
- NotAModuleExprAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- notaNameAgda.Syntax.Notation
- notaNamesAgda.Syntax.Notation
- NotAnExpressionAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotAProjectionPatternAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotAProperTermAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotationAgda.Syntax.Common
- notationAgda.Syntax.Notation
- NotationKindAgda.Syntax.Notation
- notationKindAgda.Syntax.Notation
- notationNamesAgda.Syntax.Notation
- NotationPartAgda.Syntax.Common
- NotationSectionAgda.Syntax.Notation
- NotationSectionAgda.Syntax.Notation
- NotAValidLetBindingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotBlockedAgda.Syntax.Internal
- NotBlockedAgda.Syntax.Internal.Blockers
- notBlockedAgda.Syntax.Internal.Blockers
- NotBlocked'Agda.Syntax.Internal.Blockers
- notBlocked_Agda.Syntax.Internal.Blockers
- NotBlockedOnResultAgda.TypeChecking.Coverage.Match
- NotCheckedTargetAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotComparableAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- notDominatedAgda.Utils.Favorites
- noteAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- NotErasedAgda.Syntax.Common
- NoTerminationCheckAgda.Syntax.Common
- NotForcedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotFoundAgda.Interaction.FindFile
- NotFreeAgda.TypeChecking.Free.Reduce
- NotHiddenAgda.Syntax.Common
- NothingAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- NothingAppliedToHiddenArgAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NothingAppliedToInstanceArgAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NothingToPruneAgda.TypeChecking.MetaVars.Occurs
- NotImplementedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotInjectiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotInMutualAgda.Syntax.Concrete.Definitions.Types
- NotInScopeAgda.Compiler.BackendAgda.Syntax.Concrete.NameAgda.TypeChecking.Monad.Base
- NotInScope_Agda.Interaction.Options.Warnings
- notInScopeErrorAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- NotInScopeWAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- notInScopeWarningAgda.Compiler.BackendAgda.TypeChecking.Monad.State
- NotInstanceDefAgda.Syntax.Common
- NotLeqSortAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotMacroDefAgda.Syntax.Common
- NotMainAgda.Compiler.BackendAgda.Compiler.CommonAgda.Syntax.Common
- notMaskedAgda.Termination.Monad
- notMemberAgda.Utils.BagAgda.Utils.BoolSetAgda.Utils.SmallSet
- NotOnlyTokenBasedAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- NotOverappliedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotProjectionLikePragmaAgda.Syntax.AbstractAgda.Syntax.Concrete
- NotReducedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- notReducedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- notShadowedLocalAgda.Syntax.Scope.Base
- notShadowedLocalsAgda.Syntax.Scope.Base
- notSoNiceDeclarationsAgda.Syntax.Concrete.Definitions
- notSoPrettySigCubicalNotErasureAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- NotStrictlyPositiveAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NotStrictlyPositive_Agda.Interaction.Options.Warnings
- NotSupportedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- notUnderOpaqueAgda.Compiler.BackendAgda.TypeChecking.Monad.Signature
- NotValidBeforeFieldAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- notVisibleAgda.Syntax.Common
- NotWorseAgda.Termination.Order
- notWorseAgda.Termination.Order
- NoUnfoldAgda.TypeChecking.MetaVars.Occurs
- NoUnifyAgda.TypeChecking.Rules.LHS.Unify
- NoUniverseCheckAgda.Syntax.Common
- NoUniverseCheckPragmaAgda.Syntax.Concrete
- NoUnusedAgda.Compiler.MAlonzo.Misc
- noUserQuantityAgda.Syntax.Common
- NoWarnAgda.Syntax.Concrete.Fixity
- noWarningsAgda.Interaction.Options.Warnings
- nowDebugPrintingAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- NoWhereAgda.Syntax.Concrete
- noWhereDeclsAgda.Syntax.Abstract
- NoWithFunctionAgda.TypeChecking.Rules.Def
- nowSolvingConstraintsAgda.Compiler.BackendAgda.TypeChecking.Monad.Constraints
- nPiAgda.TypeChecking.Primitive.Base
- nPi'Agda.TypeChecking.Primitive.Base
- nsInScopeAgda.Syntax.Scope.Base
- nsModulesAgda.Syntax.Scope.Base
- nsNamesAgda.Syntax.Scope.Base
- nubAgda.Utils.List1
- nubAndDuplicatesOnAgda.Utils.List
- nubByAgda.Utils.List1
- nubFavouriteOnAgda.Utils.List
- nubMAgda.Utils.ListAgda.Utils.List1
- nubOnAgda.Utils.List
- NullAgda.Utils.Null
- NullAgda.Compiler.JS.SyntaxAgda.Interaction.JSON
- nullAgda.Utils.BagAgda.Utils.BoolSetAgda.Utils.SmallSetAgda.Utils.VarSet
- nullAgda.Utils.Null
- NumberAgda.Interaction.Highlighting.PreciseAgda.Interaction.JSONAgda.Syntax.Common.Aspect
- numberOfWithPatternsAgda.Syntax.Concrete.Pattern
- numberPatVarsAgda.Syntax.Internal.Pattern
- NumGeneralizableArgsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- NumHolesAgda.Syntax.Concrete.Name
- numHolesAgda.Syntax.Concrete.Name