Garland constructs an integral form U_z in the universal enveloping algebra U(g(A))of affine Lie algebra g(A), and defines, for any field K, U_k=U_z(?) _zK to be the affine hyperalgebra of g(A).