Index - .
| .&&. | |
| 1 (Function) | Agda.Utils.QuickCheck |
| 2 (Function) | Agda.Syntax.Parser.Alex |
| .&. | Agda.Utils.QuickCheck |
| .*. | Agda.Termination.Order |
| .--> | Agda.TypeChecking.Primitive |
| .||. | |
| 1 (Function) | Agda.Utils.QuickCheck |
| 2 (Function) | Agda.Syntax.Parser.Alex |
Agda-2.4.0: A dependently typed functional programming language and proof assistant