Comment by gandalfgeek
3 years ago
(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/OiaFTFSAa1I
3 years ago
(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/OiaFTFSAa1I
No comments yet
Contribute on Hacker News ↗