Yes | |
1 (Data Constructor) | Agda.TypeChecking.Coverage.Match |
2 (Data Constructor) | Agda.TypeChecking.Patterns.Match |
3 (Data Constructor) | Agda.TypeChecking.InstanceArguments |
YesAbove | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
YesBelow | Agda.TypeChecking.Monad.SizedTypes, Agda.TypeChecking.Monad |
YesEta | Agda.TypeChecking.Datatypes |
yesMatchLit | Agda.TypeChecking.Coverage.Match |
YesNoMaybe | Agda.TypeChecking.InstanceArguments |
YesReduction | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
YesSimplification | Agda.TypeChecking.Monad.Base, Agda.TypeChecking.Monad |
yesSimplification | Agda.TypeChecking.Patterns.Match |
YesType | |
1 (Type/Class) | Agda.TypeChecking.Test.Generators |
2 (Data Constructor) | Agda.TypeChecking.Test.Generators |
YesUnfold | Agda.TypeChecking.MetaVars.Occurs |