Skip to content

change POET's task notation

Björn Brandenburg requested to merge wip-POET-notation into master

The current version of POET depends on some ill-considered notation. This MR switches it out for some nicer, unmistakable notation.

POET still needs to be adjusted, so initially a CI failure is expected.

Closes: #103 (closed)

Merge request reports