Index - >
| >*< | |
| 1 (Function) | Agda.Termination.CallMatrix, Agda.Termination.CallGraph |
| 2 (Function) | Agda.TypeChecking.Positivity |
| >+< | Agda.TypeChecking.Positivity |
| >< | Agda.Utils.QuickCheck |
Agda-2.4.2.4: A dependently typed functional programming language and proof assistant