Index - .
| .!= | Agda.Interaction.JSON |
| .&&. | Agda.Syntax.Parser.Alex |
| .*. | Agda.Termination.Order |
| .--> | Agda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base |
| ..--> | Agda.TypeChecking.Primitive, Agda.TypeChecking.Primitive.Base |
| .: | Agda.Interaction.JSON |
| .:! | Agda.Interaction.JSON |
| .:? | Agda.Interaction.JSON |
| .= | |
| 1 (Function) | Agda.Utils.Lens |
| 2 (Function) | Agda.Interaction.JSON |
| .||. | Agda.Syntax.Parser.Alex |