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