Agda-2.6.2.1.20220327: A dependently typed functional programming language and proof assistant

Index - Y

Yes 
1 (Data Constructor)Agda.TypeChecking.Patterns.Match
2 (Data Constructor)Agda.TypeChecking.Coverage.Match
YesAboveAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.SizedTypes
YesBelowAgda.Compiler.Backend, Agda.TypeChecking.Monad, Agda.TypeChecking.Monad.SizedTypes
YesCoverageCheckAgda.Syntax.Common
YesEtaAgda.Syntax.Common
YesFloatAgda.Compiler.MAlonzo.Compiler
YesGeneralizeMetaAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
YesGeneralizeVarAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
YesOverlapAgda.Syntax.Common
YesPositivityCheckAgda.Syntax.Common
YesReductionAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
YesSimplificationAgda.TypeChecking.Monad.Base, Agda.Compiler.Backend, Agda.TypeChecking.Monad
yesSimplificationAgda.TypeChecking.Patterns.Match
YesUnfoldAgda.TypeChecking.MetaVars.Occurs
YesUniverseCheckAgda.Syntax.Common