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