3 ms·

[delete]

• dist-epoch 7mo ago
  Software products specifications are written in real language, not in first order logic.
• koolala 7mo ago
  It isn't a formal language, look at the goose example: https://codespeak.dev/blog/greenfield-project-tutorial-20260209 https://codespeak.dev/blog/greenfield-project-tutorial-20260... It is a formal "way" aka like using json or xml like tons of people are already doing.