Writing a simple TDD kata in OMeta was really mind opening. That and Maude is another fascinating language. Pure term re-writing and explicit definitions of al

Writing a simple TDD kata in OMeta was really mind opening. That and Maude is another fascinating language. Pure term re-writing and explicit definitions of all data structures seems almost like a higher level of abstraction or programming. [1] - https://en.m.wikipedia.org/wiki/Maude_system https://en.m.wikipedia.org/wiki/Maude_system