Agda-2.6.4.1: A dependently typed functional programming language and proof assistant

Index - .

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