I will discuss some aspects of the bivariant K-theory developed by Le Gall. (P. Y. LeGall, Th\'eorie de Kasparov \'equivariante et groupo\"{\i}des. I, K-Theory 16 (1999), 361--390.)
Equivariant KK-theory for groupoids acting on C*-algebras (after Le Gall)