IndexAgda-2.8.0.2
F
- FaceAgda.TypeChecking.Monad.Base
- FaceConstraintCannotBeHiddenAgda.TypeChecking.Monad.Base
- FaceConstraintCannotBeHidden_Agda.Interaction.Options.Warnings
- FaceConstraintCannotBeNamedAgda.TypeChecking.Monad.Base
- FaceConstraintCannotBeNamed_Agda.Interaction.Options.Warnings
- FaceConstraintDisjunctionAgda.TypeChecking.Monad.Base
- FaceConstraintDisjunction_Agda.Interaction.Options.Errors
- FaceConstraintUnsatisfiableAgda.TypeChecking.Monad.Base
- FaceConstraintUnsatisfiable_Agda.Interaction.Options.Errors
- faceEqnsAgda.TypeChecking.Monad.Base.Types
- faceRHSAgda.TypeChecking.Monad.Base.Types
- FailAgda.Utils.Fail
- FailAgda.TypeChecking.CompiledClauseAgda.Utils.Fail
- failOnRecordFieldWarningsAgda.TypeChecking.Records
- fakeDAgda.Compiler.MAlonzo.Misc
- FakeDeclAgda.Utils.Haskell.Syntax
- fakeDeclAgda.Compiler.MAlonzo.Misc
- fakeDQAgda.Compiler.MAlonzo.Misc
- fakeDSAgda.Compiler.MAlonzo.Misc
- FakeExpAgda.Utils.Haskell.Syntax
- fakeExpAgda.Compiler.MAlonzo.Misc
- FakeTypeAgda.Utils.Haskell.Syntax
- fakeTypeAgda.Compiler.MAlonzo.Misc
- fallThroughAgda.TypeChecking.CompiledClause
- falseAgda.Utils.Boolean
- FamilyOrNotAgda.TypeChecking.Primitive.Cubical.Base
- familyOrNotAgda.TypeChecking.Primitive.Cubical.Base
- famThingAgda.TypeChecking.Primitive.Cubical.BaseAgda.TypeChecking.Primitive.Cubical.Base
- farEmptyAgda.TypeChecking.Serialise.Base
- farFreshAgda.TypeChecking.Serialise.Base
- fastDistinctAgda.Utils.List
- fastNormaliseAgda.TypeChecking.Reduce.Fast
- fastReduceAgda.TypeChecking.Reduce.Fast
- FavoritesAgda.Utils.Favorites
- FavoritesAgda.Utils.Favorites
- fcatAgda.Syntax.Common.Pretty
- feExtraAgda.TypeChecking.Free.Lazy
- feFlexRigAgda.TypeChecking.Free.Lazy
- feIgnoreSortsAgda.TypeChecking.Free.Lazy
- feModalityAgda.TypeChecking.Free.Lazy
- feSingletonAgda.TypeChecking.Free.Lazy
- fiberAgda.TypeChecking.Primitive.Cubical.Base
- FieldAgda.Syntax.Abstract
- FieldAgda.Interaction.Highlighting.PreciseAgda.Syntax.AbstractAgda.Syntax.Common.AspectAgda.Syntax.Concrete
- field1Agda.Utils.Lens.Examples
- field2Agda.Utils.Lens.Examples
- FieldAssignmentAgda.Syntax.Concrete
- FieldAssignmentAgda.Syntax.Concrete
- FieldAssignment'Agda.Syntax.Concrete
- FieldBlockAgda.Syntax.Concrete.Definitions.Types
- fieldLabelModifierAgda.Interaction.JSON
- FieldNameAgda.Syntax.Scope.Base
- FieldOutsideRecordAgda.TypeChecking.Monad.Base
- FieldOutsideRecord_Agda.Interaction.Options.Errors
- FieldOverlapAgda.Syntax.Common
- FieldSAgda.Syntax.Abstract
- FieldsAgda.TypeChecking.Monad.Base
- FieldsAgda.TypeChecking.Monad.Base
- FieldSigAgda.Syntax.Concrete
- figureOutTopLevelModuleAgda.Syntax.Parser.Helpers
- FileAgda.Utils.FileId
- FileDictAgda.Utils.FileId
- FileDictAgda.Utils.FileId
- fileDictAgda.TypeChecking.Monad.Base.TypesAgda.Utils.FileId
- FileDictBuilderAgda.TypeChecking.Monad.Base.TypesAgda.Utils.FileId
- FileDictBuilderAgda.Utils.FileId
- fileDictBuilderAgda.TypeChecking.Monad.Base.Types
- FileDictWithBuiltinsAgda.TypeChecking.Monad.Base.Types
- FileDictWithBuiltinsAgda.TypeChecking.Monad.Base.Types
- fileFromIdAgda.TypeChecking.Monad.BaseAgda.Utils.FileId
- FileIdAgda.TypeChecking.Monad.BaseAgda.TypeChecking.Monad.Base.TypesAgda.Utils.FileId
- FileIdAgda.Utils.FileId
- FileNotFoundAgda.TypeChecking.Monad.Base
- FileNotFound_Agda.Interaction.Options.Errors
- filePathAgda.Utils.FileName
- filePosAgda.Interaction.LibraryAgda.Interaction.Library.Base
- FileToIdAgda.Utils.FileId
- fileToIdAgda.Utils.FileId
- FileTypeAgda.Syntax.Common
- filterAgda.Utils.List1Agda.Utils.Map1Agda.Utils.Set1Agda.Utils.TrieAgda.Utils.VarSet
- filterAndRestAgda.Utils.List
- filterCallStackAgda.Utils.CallStack
- FilterCandidatesAgda.Benchmarking
- filterEdgesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- filterGEAgda.Utils.VarSet
- filterMAgda.Utils.Monad
- filterMaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- filterNodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- filterNodesKeepingEdgesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- filterScopeAgda.Syntax.Scope.Base
- filterTCWarningsAgda.TypeChecking.Pretty.Warning
- filterUsedAgda.Syntax.Treeless
- filterVarMapAgda.TypeChecking.Free
- filterVarMapToListAgda.TypeChecking.Free
- filterWithKeyAgda.Utils.Map1
- FinalChecksAgda.TypeChecking.Rules.Decl
- finallyAgda.Utils.Monad
- finallyAgda.Utils.Benchmark
- finally_Agda.TypeChecking.Monad.Base
- FinalTwoArgumentsNotVisibleAgda.TypeChecking.Monad.Base
- findAgda.Utils.List1
- FindErrorAgda.Interaction.FindFile
- findErrorToTypeErrorAgda.Interaction.FindFile
- findFileAgda.Interaction.FindFile
- findFile'Agda.Interaction.FindFile
- findFile''Agda.Interaction.FindFile
- findFile'_Agda.Interaction.FindFile
- findIdxAgda.TypeChecking.MetaVars
- findIndexAgda.Utils.Map1Agda.Utils.Set1
- FindInstanceAgda.TypeChecking.Monad.Base
- findInstanceAgda.TypeChecking.InstanceArguments
- FindInstanceOFAgda.Interaction.Base
- findInteractionPoint_Agda.TypeChecking.Monad.MetaVars
- findInterfaceFileAgda.Interaction.FindFile
- findInterfaceFile'Agda.Interaction.FindFile
- findLib'Agda.Interaction.Library
- findMaxAgda.Utils.Map1Agda.Utils.Set1
- findMentionsAgda.Interaction.SearchAbout
- findMinAgda.Utils.Map1Agda.Utils.Set1
- findNameInScopeAgda.Syntax.Scope.Base
- findOverlapAgda.Utils.List
- findPossibleRecordsAgda.TypeChecking.Records
- findProjectRootAgda.Interaction.Library
- findRigidBelowAgda.TypeChecking.SizedTypes.WarshallSolver
- findWithDefaultAgda.Utils.Map1
- findWithIndexAgda.Utils.List
- findWithInfoAgda.Utils.IO.Directory
- fingerprintNoinlineAgda.TypeChecking.Serialise.Base
- firstHoleAgda.Utils.Zipper
- firstMetaAgda.Syntax.Internal.MetaVars
- firstNonTakenNameAgda.Syntax.Concrete.Name
- firstOrAgda.Mimer.Options
- firstPartAgda.TypeChecking.Telescope
- fitsInAgda.TypeChecking.Rules.Data
- fittingNamedArgAgda.Syntax.Common
- fixAgda.Compiler.JS.Substitution
- FixedPointAgda.Compiler.ToTreeless
- FixingCohesionAgda.TypeChecking.Monad.Base
- FixingCohesion_Agda.Interaction.Options.Warnings
- FixingPolarityAgda.TypeChecking.Monad.Base
- FixingPolarity_Agda.Interaction.Options.Warnings
- FixingRelevanceAgda.TypeChecking.Monad.Base
- FixingRelevance_Agda.Interaction.Options.Warnings
- FixitiesAgda.Syntax.Concrete.Fixity
- fixitiesAndPolaritiesAgda.Syntax.Concrete.Fixity
- FixityAgda.Syntax.Common
- FixityAgda.Syntax.Common
- Fixity'Agda.Syntax.Common
- Fixity'Agda.Syntax.Common
- fixityAssocAgda.Syntax.Common
- FixityInRenamingModuleAgda.TypeChecking.Monad.Base
- FixityInRenamingModule_Agda.Interaction.Options.Warnings
- FixityLevelAgda.Syntax.Common
- fixityLevelAgda.Syntax.Common
- fixityRangeAgda.Syntax.Common
- FlagAgda.Compiler.BackendAgda.Interaction.Options
- FlatAgda.Syntax.Common
- flatNameAgda.Compiler.JS.Compiler
- FlatScopeAgda.Syntax.Scope.Flat
- flattenAgda.TypeChecking.Positivity
- flattenContextAgda.TypeChecking.Telescope
- flattenScopeAgda.Syntax.Scope.Flat
- flattenTelAgda.TypeChecking.Telescope
- FldNameAgda.Syntax.Scope.Base
- FlexAgda.TypeChecking.SizedTypes.Syntax
- FlexAgda.TypeChecking.SizedTypes.Syntax
- flexAgda.TypeChecking.SizedTypes.Syntax
- flexArgInfoAgda.TypeChecking.Rules.LHS.Problem
- FlexChoiceAgda.TypeChecking.Rules.LHS.Problem
- flexForcedAgda.TypeChecking.Rules.LHS.Problem
- FlexibleAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FlexibleVarAgda.TypeChecking.Rules.LHS.Problem
- FlexibleVarAgda.TypeChecking.Rules.LHS.Problem
- flexibleVariablesAgda.TypeChecking.SizedTypes
- FlexibleVarKindAgda.TypeChecking.Rules.LHS.Problem
- FlexibleVarsAgda.TypeChecking.Rules.LHS.Problem
- flexibleVarsAgda.TypeChecking.Free
- flexiblyAgda.TypeChecking.MetaVars.Occurs
- FlexIdAgda.TypeChecking.SizedTypes.Syntax
- flexIdAgda.TypeChecking.SizedTypes.Syntax
- FlexKAgda.TypeChecking.DiscrimTree.Types
- flexKindAgda.TypeChecking.Rules.LHS.Problem
- FlexOfAgda.TypeChecking.SizedTypes.Syntax
- flexPosAgda.TypeChecking.Rules.LHS.Problem
- FlexRigAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FlexRig'Agda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FlexRigMapAgda.TypeChecking.Free.Lazy
- FlexRigMapAgda.TypeChecking.Free.Lazy
- flexRigOccurrenceInAgda.TypeChecking.Free
- FlexsAgda.TypeChecking.SizedTypes.Syntax
- flexsAgda.TypeChecking.SizedTypes.Syntax
- flexVarAgda.TypeChecking.Rules.LHS.Problem
- flexVarsAgda.TypeChecking.Rules.LHS.Unify.Types
- flipCmpAgda.TypeChecking.Monad.Base
- flipPAgda.Utils.Permutation
- floatAgda.Syntax.Common.Pretty
- flushInstanceConstraintsAgda.TypeChecking.InstanceArguments
- fmapReduceAgda.TypeChecking.Monad.Base
- fmapTCMTAgda.TypeChecking.Monad.Base
- focusAgda.Utils.Lens
- foldAAgda.Utils.Applicative
- foldableAgda.Interaction.JSON
- foldAPatternAgda.Syntax.Abstract.Pattern
- foldCPatternAgda.Syntax.Concrete.Pattern
- FoldDeclAgda.Syntax.Concrete.Generic
- foldDeclAgda.Syntax.Concrete.Generic
- foldExprAgda.Syntax.Abstract.ViewsAgda.Syntax.Concrete.Generic
- FoldExprFnAgda.Syntax.Abstract.Views
- FoldExprRecFnAgda.Syntax.Abstract.Views
- foldlAgda.Utils.Map1Agda.Utils.Set1
- foldl'Agda.Utils.Map1Agda.Utils.Set1
- foldl1Agda.Utils.Set1
- foldl1Agda.Utils.Map1
- foldl1'Agda.Utils.Map1Agda.Utils.Set1
- foldlArrayAgda.Utils.IArray
- foldlArray'Agda.Utils.IArray
- foldlArrayM'Agda.Utils.IArray
- foldListTAgda.Utils.ListT
- foldlWithKeyAgda.Utils.Map1
- foldlWithKey'Agda.Utils.Map1
- foldMAgda.Utils.Monad
- foldMapAAgda.Utils.Applicative
- foldMapWithKeyAgda.Utils.Map1
- foldMatchAgda.TypeChecking.Patterns.Match
- foldPatternAgda.Syntax.Internal.Pattern
- FoldrAgda.Utils.TypeLevel
- foldrAgda.Utils.List1Agda.Utils.Map1Agda.Utils.Set1
- Foldr'Agda.Utils.TypeLevel
- foldr'Agda.Utils.Map1Agda.Utils.Set1
- foldr1Agda.Utils.Set1
- foldr1Agda.Utils.Map1
- foldr1'Agda.Utils.Map1Agda.Utils.Set1
- foldrAPatternAgda.Syntax.Abstract.Pattern
- foldrArrayAgda.Utils.IArray
- foldrArray'Agda.Utils.IArray
- foldrArrayM'Agda.Utils.IArray
- foldrCPatternAgda.Syntax.Concrete.Pattern
- foldrMetaSetAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- foldrPatternAgda.Syntax.Internal.Pattern
- foldrTelescopeMAgda.TypeChecking.Telescope
- foldrWithKeyAgda.Utils.Map1
- foldrWithKey'Agda.Utils.Map1
- foldTermAgda.Syntax.Internal.Generic
- followedByAgda.Syntax.Parser.LexActions
- forAgda.Utils.Functor
- forAAgda.Utils.Applicative
- forallFaceMapsAgda.TypeChecking.Conversion
- forallMAgda.Utils.Monad
- forallPiAgda.Syntax.Parser.Helpers
- forallQAgda.Syntax.Concrete.Glyph
- forArray_Agda.Utils.IArray
- ForcedAgda.TypeChecking.Monad.Base
- ForcedConstructorNotInstantiatedAgda.TypeChecking.Monad.Base
- ForcedConstructorNotInstantiated_Agda.Interaction.Options.Errors
- forceEtaExpandRecordAgda.TypeChecking.Records
- ForceNotFreeAgda.TypeChecking.Free.Reduce
- forceNotFreeAgda.TypeChecking.Free.Reduce
- forcePiUsingInjectivityAgda.TypeChecking.Injectivity
- forceSortAgda.TypeChecking.Rules.Data
- ForeignCodeAgda.TypeChecking.Monad.Base
- ForeignCodeAgda.TypeChecking.Monad.Base
- ForeignCodeStackAgda.TypeChecking.Monad.Base
- ForeignCodeStackAgda.TypeChecking.Monad.Base
- ForeignFileHeaderPragmaAgda.Compiler.MAlonzo.Pragmas
- foreignHaskellAgda.Compiler.MAlonzo.Pragmas
- ForeignImportAgda.Compiler.MAlonzo.Pragmas
- ForeignOtherAgda.Compiler.MAlonzo.Pragmas
- ForeignPragmaAgda.Syntax.Concrete
- forEither3MAgda.Utils.Three
- forgetAllAgda.Utils.IndexedList
- forgetIndexAgda.Utils.IndexedList
- forgetLoneSigsAgda.Syntax.Concrete.Definitions.Monad
- forkTCMAgda.TypeChecking.Monad.Base
- forMAgda.Utils.Monad
- forM'Agda.Utils.Monad
- forM_Agda.Utils.Monad
- formatDebugMessageAgda.TypeChecking.Monad.Debug
- formatLibErrorAgda.Interaction.Library.Base
- formatLibErrorsAgda.Interaction.Library.Base
- formatLibPositionInfoAgda.Interaction.Library.Base
- forMaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- forMaybeMAgda.Utils.Monad
- forMaybeMMAgda.Utils.Monad
- forMMAgda.Utils.Monad
- forMM_Agda.Utils.Monad
- FracAgda.Utils.Haskell.Syntax
- FrameAgda.TypeChecking.CompiledClause.Match
- FreeAgda.TypeChecking.FreeAgda.TypeChecking.Free.Lazy
- FreeAgda.Benchmarking
- FreeEnvAgda.TypeChecking.Free.Lazy
- FreeEnvAgda.TypeChecking.Free.Lazy
- FreeEnv'Agda.TypeChecking.Free.Lazy
- freeInAgda.Compiler.Treeless.SubstAgda.TypeChecking.Free
- freeInIgnoringSortsAgda.TypeChecking.Free
- FreeMAgda.TypeChecking.Free.Lazy
- FreeTAgda.TypeChecking.Free.Lazy
- FreeVariablesAgda.Syntax.Common
- freeVariablesFromListAgda.Syntax.Common
- freeVarsAgda.TypeChecking.Free
- freeVarsAgda.Compiler.Treeless.Subst
- freeVars'Agda.TypeChecking.Free
- freeVars'Agda.TypeChecking.Free.Lazy
- freeVarsIgnoreAgda.TypeChecking.Free
- freeVarsToApplyAgda.TypeChecking.Monad.Signature
- freezeMetasAgda.TypeChecking.Monad.MetaVars
- freshAgda.TypeChecking.Monad.Base
- freshAbstractNameAgda.Syntax.Scope.Monad
- freshAbstractName_Agda.Syntax.Scope.Monad
- freshAbstractQNameAgda.Syntax.Scope.Monad
- freshAbstractQName'Agda.Syntax.Scope.Monad
- freshAbstractQName'_Agda.TypeChecking.Rules.Data
- FreshAndReuseAgda.TypeChecking.Serialise.Base
- FreshAndReuseAgda.TypeChecking.Serialise.Base
- freshConcreteNameAgda.Syntax.Scope.Monad
- freshIntAgda.TypeChecking.Conversion.Pure
- freshInteractionIdAgda.TypeChecking.Monad.MetaVars
- freshLensAgda.TypeChecking.Monad.Base
- FreshNameAgda.TypeChecking.Monad.Base
- freshNameAgda.TypeChecking.Monad.Base
- freshName_Agda.TypeChecking.Monad.Base
- freshNameIdAgda.TypeChecking.Conversion.Pure
- FreshNameModeAgda.Syntax.Abstract.NameAgda.Syntax.Concrete.Name
- freshNoNameAgda.TypeChecking.Monad.Base
- freshNoName_Agda.TypeChecking.Monad.Base
- freshProblemIdAgda.TypeChecking.Conversion.Pure
- FreshRecConAgda.Syntax.Abstract
- freshRecordNameAgda.TypeChecking.Monad.Base
- freshTCMAgda.TypeChecking.Monad.State
- FreshThingsAgda.TypeChecking.Conversion.Pure
- FreshThingsAgda.TypeChecking.Conversion.Pure
- fromAgda.Interaction.Highlighting.Range
- fromAbsNameAgda.TypeChecking.Serialise.Instances.Abstract
- FromArgsAgda.Interaction.JSON
- fromAscListAgda.Utils.BoolSetAgda.Utils.Map1Agda.Utils.Set1Agda.Utils.SmallSet
- fromAscListWithAgda.Utils.Map1
- fromAscListWithKeyAgda.Utils.Map1
- fromBlockedAgda.TypeChecking.Reduce
- fromBoolAgda.Utils.Boolean
- fromBool1Agda.Utils.Boolean
- fromBool2Agda.Utils.Boolean
- fromCallSiteListAgda.Utils.CallStack
- fromCmpAgda.TypeChecking.Monad.Base
- fromConPatternInfoAgda.Syntax.Internal
- fromCTypeAgda.TypeChecking.Primitive.Cubical
- fromDescListAgda.Utils.Map1Agda.Utils.Set1
- fromDescListWithAgda.Utils.Map1
- fromDescListWithKeyAgda.Utils.Map1
- fromDistinctAscendingListsAgda.Utils.BiMap
- fromDistinctAscendingListsPreconditionAgda.Utils.BiMap
- fromDistinctAscListAgda.Utils.BoolSetAgda.Utils.Map1Agda.Utils.Set1Agda.Utils.SmallSet
- fromDistinctDescListAgda.Utils.Map1Agda.Utils.Set1
- fromDotNetTimeAgda.Interaction.JSON
- fromEdgesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromEdgesWithAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromEncodingAgda.Interaction.JSON
- fromImportedNameAgda.Syntax.Common
- fromIndexListAgda.Termination.SparseMatrix
- FromJSONAgda.Interaction.JSON
- fromJSONAgda.Interaction.JSON
- FromJSON1Agda.Interaction.JSON
- FromJSON2Agda.Interaction.JSON
- FromJSONKeyAgda.Interaction.JSON
- fromJSONKeyAgda.Interaction.JSON
- FromJSONKeyCoerceAgda.Interaction.JSON
- FromJSONKeyFunctionAgda.Interaction.JSON
- fromJSONKeyListAgda.Interaction.JSON
- FromJSONKeyTextAgda.Interaction.JSON
- FromJSONKeyTextParserAgda.Interaction.JSON
- FromJSONKeyValueAgda.Interaction.JSON
- fromJustAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- fromLeftAgda.Utils.Either
- fromLeftMAgda.Utils.Either
- fromListAgda.Termination.CallGraph
- fromListAgda.Utils.BagAgda.Utils.BiMapAgda.Utils.BoolSetAgda.Utils.FavoritesAgda.Utils.Map1Agda.Utils.Set1Agda.Utils.SmallSetAgda.Utils.VarSet
- fromListAgda.Utils.List1Agda.Utils.Singleton
- fromList1Agda.Utils.List2
- fromList1EitherAgda.Utils.List2
- fromList1MaybeAgda.Utils.List2
- fromListMaybeAgda.Utils.List2
- fromListNAgda.Utils.List1
- fromListPreconditionAgda.Utils.BiMap
- fromListsAgda.Termination.SparseMatrix
- fromListSafeAgda.Utils.List1
- fromListWithAgda.Utils.Map1
- fromListWithKeyAgda.Utils.Map1
- fromLiteralAgda.TypeChecking.Primitive
- fromLTypeAgda.TypeChecking.Primitive.Cubical
- fromMaybeAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- fromMaybeMAgda.Utils.MaybeAgda.Utils.Maybe.Strict
- fromMaybeMPAgda.Utils.Monad
- fromMillisecondsAgda.Utils.Time
- fromNodesAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromNodeSetAgda.Utils.Graph.AdjacencyMap.Unidirectional
- fromNonOverlappingNonEmptyAscendingListAgda.Utils.RangeMap
- fromOrderingAgda.Utils.PartialOrd
- fromOrderingsAgda.Utils.PartialOrd
- fromOrdinaryAgda.Syntax.Concrete
- fromPatternSubstitutionAgda.TypeChecking.Substitute
- fromReduceDefsAgda.TypeChecking.Monad.Base
- fromReducedTermAgda.TypeChecking.Primitive
- fromRightAgda.Utils.Either
- fromRightMAgda.Utils.Either
- fromSetAgda.Utils.Map1
- fromSplitPatternAgda.TypeChecking.Coverage.Match
- fromSplitPatternsAgda.TypeChecking.Coverage.Match
- fromSubscriptDigitAgda.Utils.Suffix
- FromTermAgda.TypeChecking.Primitive
- fromTermAgda.TypeChecking.Primitive
- FromTermFunctionAgda.TypeChecking.Primitive
- FrontEndBuildLibraryAgda.Main
- FrontEndEmacsAgda.Main
- FrontEndInteractionAgda.Main
- FrontEndJsonAgda.Main
- FrontEndReplAgda.Main
- FrontendTypeAgda.Main
- FrozenAgda.TypeChecking.Monad.Base
- FrozenAgda.TypeChecking.Monad.Base
- fsepAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty
- fst3Agda.Utils.Tuple
- FullAgda.Interaction.Highlighting.Generate
- fullAgda.Utils.IntSet.Infinite
- fullBoundaryAgda.TypeChecking.Telescope
- fullRenderAgda.Syntax.Common.Pretty
- fullRenderAnnAgda.Syntax.Common.Pretty
- fullyApplyConAgda.TypeChecking.Datatypes
- fullyApplyCon'Agda.TypeChecking.Datatypes
- FunAgda.TypeChecking.Primitive
- FunAgda.Syntax.AbstractAgda.Syntax.Concrete
- funAbstrAgda.TypeChecking.Monad.Base
- funAbstr_Agda.TypeChecking.Monad.Base
- FunAbstractAgda.TypeChecking.Monad.Base
- funAbstractAgda.TypeChecking.Monad.Base
- funAbstract_Agda.TypeChecking.Monad.Base
- FunArityAgda.Syntax.Internal.Pattern
- funArityAgda.Syntax.Internal.Pattern
- FunBindAgda.Utils.Haskell.Syntax
- FunClauseAgda.Syntax.Concrete
- funClauseOrTypeSigsAgda.Syntax.Parser.Helpers
- funClausesAgda.TypeChecking.Monad.Base
- funCompiledAgda.TypeChecking.Monad.Base
- funCoveringAgda.TypeChecking.Monad.Base
- FunctionAgda.Utils.TypeLevel
- FunctionAgda.TypeChecking.Monad.Base
- FunctionAgda.Interaction.Highlighting.PreciseAgda.Interaction.Response.BaseAgda.Syntax.Common.Aspect
- FunctionCtxAgda.Syntax.Fixity
- FunctionDataAgda.TypeChecking.Monad.Base
- FunctionDataAgda.TypeChecking.Monad.Base
- FunctionDefnAgda.TypeChecking.Monad.Base
- FunctionFlagAgda.TypeChecking.Monad.Base
- FunctionInverseAgda.TypeChecking.Monad.Base
- functionInverseAgda.TypeChecking.Injectivity
- FunctionInverse'Agda.TypeChecking.Monad.Base
- FunctionKindAgda.Compiler.MAlonzo.Misc
- FunctionReductionsAgda.TypeChecking.Monad.Base
- FunctionSpaceDomainCtxAgda.Syntax.Fixity
- FunctionTypeInSizeUnivAgda.TypeChecking.Monad.Base
- FunctionTypeInSizeUniv_Agda.Interaction.Options.Errors
- FunDefAgda.Syntax.AbstractAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Reflected
- FunDefSAgda.Syntax.Abstract
- FunErasureAgda.TypeChecking.Monad.Base
- funErasureAgda.TypeChecking.Monad.Base
- funExtLamAgda.TypeChecking.Monad.Base
- FunFirstOrderAgda.TypeChecking.Monad.Base
- funFirstOrderAgda.TypeChecking.Monad.Base
- funFlagAgda.TypeChecking.Monad.Base
- funFlag_Agda.TypeChecking.Monad.Base
- funFlagsAgda.TypeChecking.Monad.Base
- FunInlineAgda.TypeChecking.Monad.Base
- funInlineAgda.TypeChecking.Monad.Base
- funInvAgda.TypeChecking.Monad.Base
- funIsKanOpAgda.TypeChecking.Monad.Base
- FunKAgda.Compiler.MAlonzo.Misc
- FunMacroAgda.TypeChecking.Monad.Base
- funMacroAgda.TypeChecking.Monad.Base
- funMacro_Agda.TypeChecking.Monad.Base
- funMutualAgda.TypeChecking.Monad.Base
- FunNameAgda.Syntax.Concrete.Definitions.TypesAgda.Syntax.Scope.Base
- FunName_Agda.Interaction.Options.Errors
- funOpaqueAgda.TypeChecking.Monad.Base
- FunProjAgda.TypeChecking.Monad.Base
- funProjAgda.TypeChecking.Monad.Base
- funProj_Agda.TypeChecking.Monad.Base
- funProjectionAgda.TypeChecking.Monad.Base
- FunSigAgda.Syntax.Concrete.DefinitionsAgda.Syntax.Concrete.Definitions.Types
- FunSortAgda.Syntax.Internal
- funSortAgda.TypeChecking.Substitute
- funSort'Agda.TypeChecking.Substitute
- funSplitTreeAgda.TypeChecking.Monad.Base
- FunStaticAgda.TypeChecking.Monad.Base
- funStaticAgda.TypeChecking.Monad.Base
- funTerminatesAgda.TypeChecking.Monad.Base
- funTreelessAgda.TypeChecking.Monad.Base
- funUnivAgda.Syntax.Internal.Univ
- funWithAgda.TypeChecking.Monad.Base
- fuseIntervalsAgda.Syntax.Position
- fuseRangeAgda.Syntax.Position
- fuseRangesAgda.Syntax.Position
- FVsAgda.TypeChecking.MetaVars
- fwordsAgda.Syntax.Common.PrettyAgda.TypeChecking.Pretty