Agda-2.6.4.1: 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.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend
YesBelowAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend
YesCoverageCheckAgda.Syntax.Common
YesEtaAgda.Syntax.Common
YesGeneralizeMetaAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
YesGeneralizeVarAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
YesOverlapAgda.Syntax.Common
YesPositivityCheckAgda.Syntax.Common
YesReductionAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
YesSimplificationAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad, Agda.Compiler.Backend
yesSimplificationAgda.TypeChecking.Patterns.Match
YesUnfoldAgda.TypeChecking.MetaVars.Occurs
YesUniverseCheckAgda.Syntax.Common