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

Index - $$$1 (Function) Agda.Utils.Pretty 2 (Function) Agda.TypeChecking.Pretty$+$1 (Function) Agda.Utils.Pretty 2 (Function) Agda.TypeChecking.Pretty$> Agda.Utils.Functor