I think it might be cool to develop a bit more elaborate use cases for sempr i.e. stories which feel a bit more real world than "Add a person and a mug" perhaps including robots and geospatial applications. Perhaps in the form "Believable problem -> how would that be solved in sempr -> proof that the module helps and is useful".
The idea came up during reviewing #2 and #3 since I found it quite hard to evaluate the components grown far over validation by unit testing.
I think it might be cool to develop a bit more elaborate use cases for sempr i.e. stories which feel a bit more real world than "Add a person and a mug" perhaps including robots and geospatial applications. Perhaps in the form "Believable problem -> how would that be solved in sempr -> proof that the module helps and is useful".
The idea came up during reviewing #2 and #3 since I found it quite hard to evaluate the components grown far over validation by unit testing.