Tom Bachmann:

Recollections §2 Dieudonné complexes 1/2

Define the de Rham complex (in general) and the completed de Rham
complex (Variant 3.3.1 without the Dieudonné algebra structure). Discuss the Cartier (iso)morphism (Proposition 3.3.4 and Theorem 3.3.6).
Define Dieudonné complexes and their saturation: 2.1.1, 2.1.3, 2.1.4, §2.2,
§2.3.