After quickly reviewing the construction beyond the topological/combinatorial version of (stable) Heegaard Floer homology, we show how to define the theory over the integers, and how to get the $spin^c$ refined theory. This is a joint work with Peter Ozsvath and Zoltan Szabo.