i poked around in there, under choreographic programming there’s one example of something not in the language as a discarded idea.

if you claim X and Y make us cool and different, then you should document X and Y in your readme. don’t tell me something is the star, and then hide it away. this is baffling to me.

its speaking of discarded syntax for choreo, not that the feature was discarded