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

Index - Y

Yes 
1 (Data Constructor)Agda.TypeChecking.Coverage.Match
2 (Data Constructor)Agda.TypeChecking.Patterns.Match
3 (Data Constructor)Agda.TypeChecking.InstanceArguments
YesAboveAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad
YesBelowAgda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad
YesEtaAgda.TypeChecking.Datatypes
yesMatchLitAgda.TypeChecking.Coverage.Match
YesNoMaybeAgda.TypeChecking.InstanceArguments
YesReductionAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
YesSimplificationAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
yesSimplificationAgda.TypeChecking.Patterns.Match
YesUnfoldAgda.TypeChecking.MetaVars.Occurs