We give a detailed and unified survey of equivariant KK-theory over locally compact, second countable, locally Hausdorff groupoids. We indicate precisely how the "classical" proofs relating to the Kasparov product can be used almost wordfor-word in this setting, and give proofs for several results which do not currently appear in the literature. This article is intended as a detailed survey of the theory of groupoid-equivariant KKtheory, in the setting of locally compact, second countable, locally Hausdorff groupoids.Following a substantial period of innovation and development [18,12,35,14,19] in the non-equivariant and group-equivariant cases, groupoid-equivariant KK-theory was first treated, for Hausdorff groupoids, by Le Gall in his PhD thesis [24]. Since many examples of groupoids are only locally Hausdorff (for instance, the holonomy groupoids of foliated manifolds [10]), it is desirable to have a groupoid-equivariant KK-theory for non-Hausdorff groupoids as well.Despite the demand arising from applications to foliation theory, the literature on equivariant KK-theory over non-Hausdorff groupoids has, up until this point, been rather sparse. The non-Hausdorff theory makes its first appearance in [36], in which, for details on the inner workings of the theory, the reader is referred to the expositions given forHausdorff groupoids in [25,37]. Since then the theory has been very rapidly expounded upon, in an extremely general context that covers not only groupoids but Hopf algebras, in [1] for applications to singular foliations. Finally, the theory has found use in [27] in the study of the Godbillon-Vey invariant of regular foliated manifolds.The common denominator in all of the treatments [36, 1, 27] of equivariant KK-theory over non-Hausdorff groupoids is that each has been focussed on a particular application of equivariant KK-theory, rather than on a detailed development of the theory itself.As a consequence, most details (some of which are somewhat nontrivial) are skipped over, and it is difficult to glean a precise understanding of how the non-Hausdorffness of the underlying groupoid affects the "classical" definitions, statements of results, and their proofs. The goal of the present paper is to rectify this state of the literature, by providing 1 a unified and detailed description of the theory. In particular, we include all the necessary definitions (of which there are many), and include detailed proofs for several results which do not yet appear in the literature. We will see, as remarked in [1], that much of the theory can be proved in exactly the manner of the "classical" theory, provided one makes some conceptual substitutions.Let us briefly describe the content of the paper. The first three sections consist of the relevant definitions for groupoids, upper-semicontinuous bundles and actions of groupoids on algebras and Hilbert modules. Note that we do not go to the generality of Fell bundles, and we refer the reader to [37] and [36] for an indication of how the theory works at this level of general...