Agda

Index - :

:!:Agda.Utils.RangeMap
:#Agda.Syntax.Internal, Agda.TypeChecking.Substitute
:<Agda.Utils.ListInf
:|Agda.Utils.List1