User blog comment:PsiCubed2/A proposal for a new rule for this community/@comment-27513631-20170706200845/@comment-30754445-20170707111859

Since when does Primus have a coherent notation?

I'm asking seriously: Did he eventually arrive at a set of rules which define his notation in an unambigious way?

Because the last time I've checked on him, it was stuff like "(a,b,c,d) recurses (a,b,c) d times" which is a far cry of being an unambigious definition. He also refused to correct mistakes and inconsistencies that others have pointed out.