| ▲ | fnord77 3 hours ago | |
[delete] | ||
| ▲ | koolala 2 hours ago | parent | next [-] | |
It isn't a formal language, look at the goose example: 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. | ||
| ▲ | dist-epoch 2 hours ago | parent | prev [-] | |
Software products specifications are written in real language, not in first order logic. | ||