Hacker News new | ask | show | jobs
by kriper 710 days ago
in C# it's basically automatic https://github.com/microsoft/coyote/