  We define a derivation on the enhanced nilHecke algebra yielding a p-dg
algebra when working over a field of characteristic p. We define functors on
the category of p-dg modules resulting in an action of small quantum sl2 on the
Grothendieck group, which is isomorphic to a baby Verma module. We upgrade the
derivation into an action of the Lie algebra sl(2).
