  Using the theory infinity-categories we construct derived (dg-)categories of
regular, holonomic D-modules and algebraically constructible sheaves on a
complex smooth algebraic stack. We construct a natural infinity-categorical
equivalence between these two categories generalising the classical
Riemann-Hilbert correspondence.
