Like declarative programming? [0] I agree with you: assertions in natural language would be a killer app. [0]: https://en.wikipedia.org/wiki/Declarative_progr

Like declarative programming? [0] I agree with you: assertions in natural language would be a killer app. [0]: https://en.wikipedia.org/wiki/Declarative_programming https://en.wikipedia.org/wiki/Declarative_programming