Really good. tacotime has pretty much finished specs and detailed pseudocode. Implementation is built out from there, with lots of testing to be done, but it's moving.