Bounding Lagrangian intersections using Floer homotopy theory

I will describe a new lower bound on the number of intersection points of a Lagrangian pair, in the exact setting, using Steenrod squares on Lagrangian Floer cohomology which are defined via a Floer homotopy type.