Agda-2.6.2.2: 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
.= 
1 (Function)Agda.Utils.Lens
2 (Function)Agda.Interaction.JSON
.||.Agda.Syntax.Parser.Alex