Full threadgandalfgeek·(self plug) They published a paper describing the language https://hal.inria.fr/hal-03159939, and here's a short video summary of it: https://youtu.be/OiaFTFSAa1IView on HN