A homology theory for basic sets: a summary