  We construct a version of Hamiltonian Floer Homology based on the notion of a
semi-infinite cycle. As an application, we provide a new proof for the
existence of critical points of the action functional.
