Index - .
| .&&. | Agda.Syntax.Parser.Alex |
| .*. | Agda.Termination.Order |
| .--> | Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive |
| ..--> | Agda.TypeChecking.Primitive.Base, Agda.TypeChecking.Primitive |
| .= | Agda.Utils.Lens |
| .||. | Agda.Syntax.Parser.Alex |
Agda-2.6.1: A dependently typed functional programming language and proof assistant