Abstract: A local ring A essentially finitely presented over a valuation ring V is said to be regular if the weak global dimension of A is finite. We discuss some results in preparation on this property, including results about the cotangent complex, big Cohen--Macaulay algebras, and flatness of Frobenius.