Agda-2.2.8: 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
yesMatchLitAgda.TypeChecking.Coverage.Match
YesReductionAgda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad
YesType 
1 (Type/Class)Agda.TypeChecking.Test.Generators
2 (Data Constructor)Agda.TypeChecking.Test.Generators