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

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