Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

IndexAgda-2.7.0.1

Y

YesAgda.TypeChecking.Coverage.Match Agda.TypeChecking.Patterns.Match
YesAboveAgda.Compiler.Backend Agda.TypeChecking.Monad.SizedTypes
YesBelowAgda.Compiler.Backend Agda.TypeChecking.Monad.SizedTypes
YesCoverageCheckAgda.Syntax.Common
YesEtaAgda.Syntax.Common
YesGeneralizeMetaAgda.Compiler.Backend Agda.TypeChecking.Monad.Base
YesGeneralizeVarAgda.Compiler.Backend Agda.TypeChecking.Monad.Base
YesOverlapAgda.Syntax.Common
YesPositivityCheckAgda.Syntax.Common
YesReductionAgda.Compiler.Backend Agda.TypeChecking.Monad.Base
YesSimplificationAgda.Compiler.Backend Agda.TypeChecking.Monad.Base
yesSimplificationAgda.TypeChecking.Patterns.Match
YesUnfoldAgda.TypeChecking.MetaVars.Occurs
YesUniverseCheckAgda.Syntax.Common