  The aim of this note is to prove a representation theorem for left--invariant
functionals in Carnot groups. As a direct consequence, we can also provide a
$\Gamma$-convergence result for a smaller class of functionals.
