Distributions and normality theorems

We derive a Serre presentation of distribution algebras of loop groups in characteristic $p$ and apply it to give a new proof of the normality of Schubert varieties inside parahoric affine Grassmannians, for all connected reductive groups whose fundamental group is $p$-torsion free.