  In this paper, we show the Langlands correspondence for isocrystals on
curves. This shows the existence of crystalline companion in the curve case.
For the proof, we construct the theory of arithmetic $\mathscr{D}$-modules for
algebraic stacks whose diagonal morphisms are finite.
