28 ms·
(self plug) They published a paper describing the language https://hal.inria.fr/hal-03159939 https://hal.inria.fr/hal-03159939, and here's a short video summary
by gandalfgeek 3y ago
(self plug) They published a paper describing the language https://hal.inria.fr/hal-03159939 https://hal.inria.fr/hal-03159939, and here's a short video summary of it: https://youtu.be/OiaFTFSAa1I https://youtu.be/OiaFTFSAa1I