Has Bousfield-Kan been implemented?

[jcguu95]

In [1], it was announced that the Bousfield-Kan algorithm will be implemented
in Kenzo. However, I didn't find anything similar in this repo.

(Perhaps it's still work-in-progress as hinted in [2]?)

Reference

• [1] A Bousfield-Kan algorithm for computing the effective homotopy of a space - A. ROMERO and F. SERGERAERT
• [2] Make a new release? #129