Closed rayegun closed 8 months ago
There is also a FIXME comment here that could be removed now that the date has been selected:
I don't mind revising the master branch directly myself. But this is also not essential to delete the comment.
If you do fix that typo you might as well also delete the % FIXME
This is a very rough draft so far. General semantics are described briefly, but not enough.