The homology of a homotopy inverse limit can be studied by a spectral sequence which has as the E2 term the derived functor of limit in the category of coalgebras. These derived functors can be computed using the theory of Dieudonné modules if one has a diagram of connected abelian Hopf algebras.