All days in the chronicle are blank.

Become editor and start adding information to the chronicle of Invariant-based programming