I've written executable user stories that stakeholders can read, which is a good way for them to verify that the implemented business logic matches expected beh

I've written executable user stories that stakeholders can read, which is a good way for them to verify that the implemented business logic matches expected behavior, and is significantly easier to read than turing complete code. I'm honestly not sure if there's value in going beyond that though. The "signal to noise" ratio in any turing complete language is too high even when you try to write code as clearly as possible (which I do). Implementation details aren't all that interesting to stakeholders and understanding code even in languages that emphasize readability requires tons of implicit knowledge.