The author is working on a program synthesizer using interaction nets/calculus, which should be released soon. It sounds quite interesting: https://x.com/Victo

The author is working on a program synthesizer using interaction nets/calculus, which should be released soon. It sounds quite interesting: https://x.com/VictorTaelin/status/1907976343830106592 https://x.com/VictorTaelin/status/1907976343830106592