Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

IndexAgda-2.8.0.2

Y

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