Reminds me of Planguage by Tom Gilb, see e.g. https://www.amazon.com/-/de/dp-0750665076/dp/0750665076 https://www.amazon.com/-/de/dp-0750665076/dp/0750665076.

Reminds me of Planguage by Tom Gilb, see e.g. https://www.amazon.com/-/de/dp-0750665076/dp/0750665076 https://www.amazon.com/-/de/dp-0750665076/dp/0750665076. Many attempts have been made with varying degrees of formalization. Another one is e.g. https://en.wikipedia.org/wiki/Gellish https://en.wikipedia.org/wiki/Gellish. It would be interesting to know what FRET is supposed to be able to do better than previous approaches.