Agda-2.5.3: 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
3 (Data Constructor)Agda.TypeChecking.InstanceArguments
YesAboveAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend
YesBelowAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad, Agda.Compiler.Backend
YesEtaAgda.TypeChecking.Datatypes
yesMatchLitAgda.TypeChecking.Coverage.Match
YesNoMaybeAgda.TypeChecking.InstanceArguments
YesOverlapAgda.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