IndexAgda-2.7.0.1
O
- OAgda.TypeChecking.SizedTypes.Syntax
- objAgda.Interaction.JSON
- ObjectAgda.Interaction.JSON
- ObjectAgda.Compiler.JS.SyntaxAgda.Interaction.JSON
- objectAgda.Compiler.JS.SubstitutionAgda.Interaction.JSON
- ObjectWithSingleFieldAgda.Interaction.JSON
- observeHidingAgda.Syntax.Concrete
- observeModifiersAgda.Syntax.Concrete
- observeRelevanceAgda.Syntax.Concrete
- occCxtSizeAgda.TypeChecking.MetaVars.Occurs
- OccEnvAgda.TypeChecking.Positivity
- OccEnvAgda.TypeChecking.Positivity
- OccMAgda.TypeChecking.Positivity
- occMetaAgda.TypeChecking.MetaVars.Occurs
- occUnfoldAgda.TypeChecking.MetaVars.Occurs
- OccurrenceAgda.TypeChecking.Positivity.Occurrence
- OccurrencesAgda.TypeChecking.Positivity
- occurrencesAgda.TypeChecking.Positivity
- OccurrencesBuilderAgda.TypeChecking.Positivity
- OccurrencesBuilder'Agda.TypeChecking.Positivity
- OccursAgda.TypeChecking.MetaVars.Occurs
- OccursAgda.Compiler.Treeless.Subst
- OccursAgda.Compiler.Treeless.Subst
- occursAgda.TypeChecking.MetaVars.Occurs
- occurs_Agda.TypeChecking.MetaVars.Occurs
- OccursAsAgda.TypeChecking.Positivity
- OccursAs'Agda.TypeChecking.Positivity
- OccursCheckAgda.Benchmarking
- occursCheckAgda.TypeChecking.MetaVars.Occurs
- OccursCtxAgda.TypeChecking.MetaVars.Occurs
- OccursExtraAgda.TypeChecking.MetaVars.Occurs
- OccursExtraAgda.TypeChecking.MetaVars.Occurs
- OccursHereAgda.TypeChecking.Positivity
- OccursHere'Agda.TypeChecking.Positivity
- occursInAgda.Compiler.Treeless.Subst
- OccursMAgda.TypeChecking.MetaVars.Occurs
- OccursWhereAgda.TypeChecking.Positivity.Occurrence
- OccursWhereAgda.TypeChecking.Positivity.Occurrence
- occVarsAgda.TypeChecking.MetaVars.Occurs
- ofExprAgda.Interaction.Base
- OffsetAgda.TypeChecking.SizedTypes.Syntax
- OffsetAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- OffsetAgda.TypeChecking.SizedTypes.WarshallSolver
- offsetAgda.TypeChecking.SizedTypes.SyntaxAgda.TypeChecking.SizedTypes.SyntaxAgda.TypeChecking.SizedTypes.Syntax
- offsideRuleAgda.Syntax.Parser.Layout
- ofNameAgda.Interaction.Base
- OfTypeAgda.Interaction.Base
- OfType'Agda.Interaction.Base
- OldBuiltinAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- OldBuiltin_Agda.Interaction.Options.Warnings
- oldCanonicalizeSizeConstraintAgda.TypeChecking.SizedTypes
- oldComputeSizeConstraintAgda.TypeChecking.SizedTypes
- oldComputeSizeConstraintsAgda.TypeChecking.SizedTypes
- OldInteractionScopesAgda.Interaction.Base
- oldInteractionScopesAgda.Interaction.Base
- OldModuleNameAgda.Syntax.Translation.ConcreteToAbstract
- oldOptionNameAgda.Interaction.Options
- OldQNameAgda.Syntax.Translation.ConcreteToAbstract
- OldSizeConstraintAgda.TypeChecking.SizedTypes
- OldSizeExprAgda.TypeChecking.SizedTypes
- oldSizeExprAgda.TypeChecking.SizedTypes
- omegaFlexRigAgda.TypeChecking.Free.Lazy
- omitFieldAgda.Interaction.JSON
- omitField1Agda.Interaction.JSON
- omitField2Agda.Interaction.JSON
- omitNothingFieldsAgda.Interaction.JSON
- omittedFieldAgda.Interaction.JSON
- omittedField1Agda.Interaction.JSON
- omittedField2Agda.Interaction.JSON
- onAgda.Utils.Function
- onBlockingMetasMAgda.Syntax.Internal.Blockers
- onceAgda.Compiler.Treeless.Subst
- OneAgda.Interaction.JSON
- OneAgda.Utils.Three
- oneFlexRigAgda.TypeChecking.Free.Lazy
- oneFreeVariableAgda.Syntax.Common
- OneHoleAgda.Utils.AffineHole
- OneLineModeAgda.Syntax.Common.Pretty
- oneVarOccAgda.TypeChecking.Free.Lazy
- onLetBindingTypeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- onlyErasedAgda.Syntax.Parser.Helpers
- OnlyLazyAgda.TypeChecking.Patterns.Match
- OnlyLazyAgda.TypeChecking.Patterns.Match
- OnlyReduceDefsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- onlyReduceProjectionsAgda.Compiler.BackendAgda.TypeChecking.Monad.Env
- onlyReduceTypesAgda.Compiler.BackendAgda.TypeChecking.Monad.Env
- onlyShowIfUnsolvedAgda.TypeChecking.Warnings
- OnlyVarsUpToAgda.TypeChecking.Positivity
- onReduceEnvAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- ooneAgda.Utils.SemiRing
- OpAgda.TypeChecking.Primitive
- OpAppAgda.Syntax.Concrete
- OpAppAgda.Syntax.Concrete
- OpAppArgsAgda.Syntax.Concrete
- OpAppArgs'Agda.Syntax.Concrete
- OpAppPAgda.Syntax.Concrete
- OpAppVAgda.Syntax.Concrete.Operators.Parser
- OpaqueAgda.Syntax.Concrete
- OpaqueBlockAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- OpaqueBlockAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- opaqueDeclsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- OpaqueDefAgda.Syntax.Common
- OpaqueIdAgda.Syntax.Common
- OpaqueIdAgda.Syntax.Common
- opaqueIdAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- OpaqueInMutualAgda.Syntax.Concrete.Definitions.Errors
- opaqueParentAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- opaqueRangeAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- opaqueUnfoldingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- opBracketsAgda.Syntax.Fixity
- opBrackets'Agda.Syntax.Fixity
- OpenAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- OpenAgda.Syntax.AbstractAgda.Syntax.Concrete
- openAgda.TypeChecking.Names
- OpenedAgda.Syntax.Scope.Base
- OpenKindAgda.Syntax.Scope.Monad
- OpenMetaAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- openMetasAgda.Compiler.BackendAgda.TypeChecking.Monad.MetaVars
- openMetasToPostulatesAgda.TypeChecking.MetaVars
- openModuleAgda.Syntax.Scope.Monad
- openModule_Agda.Syntax.Scope.Monad
- OpenPublicAbstractAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- OpenPublicAbstract_Agda.Interaction.Options.Warnings
- OpenPublicPrivateAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Errors
- OpenPublicPrivate_Agda.Interaction.Options.Warnings
- OpenSAgda.Syntax.Abstract
- OpenShortHandAgda.Syntax.Concrete
- OpenThingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- openThingAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- openThingCheckpointAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- openThingCheckpointMapAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- openThingModuleAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- openVerboseBracketAgda.Compiler.BackendAgda.TypeChecking.Monad.Debug
- OperatorInformationAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- OperatorsExprAgda.Benchmarking
- OperatorsPatternAgda.Benchmarking
- OperatorTypeAgda.Syntax.Concrete.Operators.Parser
- oplusAgda.Utils.SemiRing
- opPAgda.Syntax.Concrete.Operators.Parser
- oppositeDAGAgda.Utils.Graph.AdjacencyMap.Unidirectional
- oppPOAgda.Utils.PartialOrd
- optAbsoluteIncludePathsAgda.Interaction.Options
- optAllowExecAgda.Interaction.Options
- optAllowIncompleteMatchAgda.Interaction.Options
- optAllowUnsolvedAgda.Interaction.Options
- OptArgAgda.Interaction.Options
- optAutoInlineAgda.Interaction.Options
- optBacktrackingInstancesAgda.Interaction.Options
- optCachingAgda.Interaction.Options
- optCallByNameAgda.Interaction.Options
- optCohesionAgda.Interaction.Options
- optCompileDirAgda.Interaction.Options
- optCompileNoMainAgda.Interaction.Options
- optConfluenceCheckAgda.Interaction.Options
- optCopatternsAgda.Interaction.Options
- optCountClustersAgda.Interaction.Options
- optCubicalAgda.Interaction.Options
- optCubicalCompatibleAgda.Interaction.Options
- optCumulativityAgda.Interaction.Options
- optDefaultLibsAgda.Interaction.Options
- OptDescrAgda.Interaction.Options
- optDiagnosticsColourAgda.Interaction.Options
- optDoubleCheckAgda.Interaction.Options
- optErasedMatchesAgda.Interaction.Options
- optEraseRecordParametersAgda.Interaction.Options
- optErasureAgda.Interaction.Options
- optEtaAgda.Interaction.Options
- optExitOnErrorAgda.Interaction.Options
- optExperimentalIrrelevanceAgda.Interaction.Options
- optExplicitHintsAgda.Mimer.Options
- optFastReduceAgda.Interaction.Options
- optFirstOrderAgda.Interaction.Options
- optFlatSplitAgda.Interaction.Options
- optForcedArgumentRecursionAgda.Interaction.Options
- optForcingAgda.Interaction.Options
- optGenerateVimFileAgda.Interaction.Options
- optGhcBinAgda.Compiler.MAlonzo.Misc
- optGhcCallGhcAgda.Compiler.MAlonzo.Misc
- optGhcCompileDirAgda.Compiler.MAlonzo.Misc
- optGhcFlagsAgda.Compiler.MAlonzo.Misc
- optGHCiInteractionAgda.Interaction.Options
- optGhcStrictAgda.Compiler.MAlonzo.Misc
- optGhcStrictDataAgda.Compiler.MAlonzo.Misc
- optGuardedAgda.Interaction.Options
- optGuardednessAgda.Interaction.Options
- optHiddenArgumentPunsAgda.Interaction.Options
- optHintModeAgda.Mimer.Options
- optIgnoreAllInterfacesAgda.Interaction.Options
- optIgnoreInterfacesAgda.Interaction.Options
- optImportSortsAgda.Interaction.Options
- optIncludePathsAgda.Interaction.Options
- optInferAbsurdClausesAgda.Interaction.Options
- optInjectiveTypeConstructorsAgda.Interaction.Options
- optInputFileAgda.Interaction.Options
- optInstanceSearchDepthAgda.Interaction.Options
- optInteractiveAgda.Interaction.Options
- optInversionMaxDepthAgda.Interaction.Options
- OptionAgda.Interaction.Options
- OptionErrorAgda.Interaction.ExitCode
- optionErrorAgda.Main
- OptionRenamedAgda.Interaction.Options
- OptionRenamed_Agda.Interaction.Options.Warnings
- OptionsAgda.Interaction.JSONAgda.Mimer.Options
- OptionsAgda.Interaction.OptionsAgda.Mimer.Options
- optionsAgda.Compiler.Backend.Base
- optionsOnReloadAgda.Interaction.Base
- OptionsPragmaAgda.Interaction.LibraryAgda.Interaction.Library.Base
- OptionsPragmaAgda.Interaction.LibraryAgda.Interaction.Library.BaseAgda.Syntax.AbstractAgda.Syntax.Concrete
- OptionWarningAgda.Interaction.Options
- OptionWarningAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- optionWarningNameAgda.Interaction.Options
- optIrrelevantProjectionsAgda.Interaction.Options
- optJSCompileAgda.Compiler.JS.Compiler
- optJSMinifyAgda.Compiler.JS.Compiler
- optJSModuleStyleAgda.Compiler.JS.Compiler
- optJSONInteractionAgda.Interaction.Options
- optJSOptimizeAgda.Compiler.JS.Compiler
- optJSVerifyAgda.Compiler.JS.Compiler
- optKeepCoveringClausesAgda.Interaction.Options
- optKeepPatternVariablesAgda.Interaction.Options
- optLargeIndicesAgda.Interaction.Options
- optLevelUniverseAgda.Interaction.Options
- optLibrariesAgda.Interaction.Options
- optListAgda.Mimer.Options
- optLoadPrimitivesAgda.Interaction.Options
- optLocalInterfacesAgda.Interaction.Options
- OptMAgda.Interaction.Options
- optOmegaInOmegaAgda.Interaction.Options
- optOnlyScopeCheckingAgda.Interaction.Options
- optOverrideLibrariesFileAgda.Interaction.Options
- optPatternMatchingAgda.Interaction.Options
- optPositivityCheckAgda.Interaction.Options
- optPostfixProjectionsAgda.Interaction.Options
- optPragmaOptionsAgda.Interaction.Options
- optPrintAgdaAppDirAgda.Interaction.Options
- optPrintAgdaDataDirAgda.Interaction.Options
- optPrintHelpAgda.Interaction.Options
- optPrintPatternSynonymsAgda.Interaction.Options
- optPrintVersionAgda.Interaction.Options
- optProfilingAgda.Interaction.Options
- optProgramNameAgda.Interaction.Options
- optProjectionLikeAgda.Interaction.Options
- optPropAgda.Interaction.Options
- optQualifiedInstancesAgda.Interaction.Options
- optRequireUniqueMetaSolutionsAgda.Interaction.Options
- optRewritingAgda.Interaction.Options
- optSafeAgda.Interaction.Options
- optSaveMetasAgda.Interaction.Options
- optShowGeneralizedAgda.Interaction.Options
- optShowIdentitySubstitutionsAgda.Interaction.Options
- optShowImplicitAgda.Interaction.Options
- optShowIrrelevantAgda.Interaction.Options
- optSizedTypesAgda.Interaction.Options
- optSkipAgda.Mimer.Options
- optSyntacticEqualityAgda.Interaction.Options
- optTerminationCheckAgda.Interaction.Options
- optTerminationDepthAgda.Interaction.Options
- optTimeoutAgda.Mimer.Options
- optTraceImportsAgda.Interaction.Options
- optTransliterateAgda.Interaction.Options
- optTrustedExecutablesAgda.Interaction.Options
- optTwoLevelAgda.Interaction.Options
- optUniverseCheckAgda.Interaction.Options
- optUniversePolymorphismAgda.Interaction.Options
- optUseLibsAgda.Interaction.Options
- optUseUnicodeAgda.Interaction.Options
- optVerboseAgda.Interaction.Options
- optWarningModeAgda.Interaction.Options
- optWithoutKAgda.Interaction.Options
- or2MAgda.Utils.Monad
- OrderAgda.Termination.Order
- OrderCandidatesAgda.Benchmarking
- orderFieldsAgda.TypeChecking.Records
- orderFieldsFailAgda.TypeChecking.Records
- orderFieldsWarnAgda.TypeChecking.Records
- orderMatAgda.Termination.Order
- orderSemiringAgda.Termination.Order
- OrdinaryAgda.Syntax.Concrete
- orEitherMAgda.Utils.Monad
- OrgFileTypeAgda.Syntax.Common
- OriginAgda.Syntax.Common
- origProjectionAgda.TypeChecking.Records
- orMAgda.Utils.Monad
- orPOAgda.Utils.PartialOrd
- ostarAgda.Utils.SemiRing
- OTermAgda.Syntax.Internal
- OtherAspectAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- otherAspectsAgda.Interaction.Highlighting.PreciseAgda.Syntax.Common.Aspect
- OtherBackendAgda.Interaction.Base
- OtherDefNameAgda.Syntax.Scope.Base
- OtherFlexAgda.TypeChecking.Rules.LHS.Problem
- otherPatternsAgda.TypeChecking.Rules.LHS.Problem
- OtherPragmaAgda.Utils.Haskell.Syntax
- OtherSizeAgda.Compiler.BackendAgda.TypeChecking.Monad.SizedTypes
- OtherTypeAgda.Syntax.Internal
- OtherVAgda.Syntax.Concrete.Operators.Parser
- otherValueAgda.Utils.Graph.AdjacencyMap.Unidirectional
- otimesAgda.Utils.SemiRing
- OTypeAgda.Syntax.Internal
- outFileAgda.Compiler.JS.Compiler
- outFile_Agda.Compiler.JS.Compiler
- outgoingAgda.TypeChecking.SizedTypes.WarshallSolver
- OutputConstraintAgda.Interaction.Output
- OutputConstraint'Agda.Interaction.Base
- OutputConstraint_bootAgda.Interaction.Base
- OutputContextEntryAgda.Interaction.Base
- OutputFormAgda.Interaction.Output
- OutputFormAgda.Interaction.Base
- OutputForm_bootAgda.Interaction.Base
- outputFormIdAgda.Interaction.BasicOps
- OutputTypeNameAgda.TypeChecking.InstanceArguments
- OutputTypeNameAgda.TypeChecking.InstanceArguments
- OutputTypeNameNotYetKnownAgda.TypeChecking.InstanceArguments
- OutputTypeVarAgda.TypeChecking.InstanceArguments
- OutputTypeVisiblePiAgda.TypeChecking.InstanceArguments
- outsideLocalVarsAgda.Syntax.Scope.Monad
- overAgda.Utils.Lens
- OverappliedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- OverappliedAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- overCallSitesAgda.Utils.CallStack
- OverlapModeAgda.Syntax.Common
- OverlappableAgda.Syntax.Common
- OverlappableAgda.Syntax.Common
- OverlappingAgda.Syntax.Common
- overlappingAgda.Interaction.Highlighting.Range
- OverlappingProjectsAgda.Compiler.BackendAgda.TypeChecking.Monad.Base
- overlappingsAgda.Interaction.Highlighting.Range
- OverlappingTokensErrorAgda.Syntax.ParserAgda.Syntax.Parser.Monad
- OverlappingTokensWarningAgda.Syntax.ParserAgda.Syntax.Parser.Monad
- OverlappingTokensWarning_Agda.Interaction.Options.Warnings
- OverlapPragmaAgda.Syntax.AbstractAgda.Syntax.Concrete
- OverlapsAgda.Syntax.Common
- ozeroAgda.Utils.SemiRing