Comment by wtetzner
8 hours ago
And because of that, we check in the generated code, not the high-level abstraction. So to understand your program, you have to read the output, not the input.
8 hours ago
And because of that, we check in the generated code, not the high-level abstraction. So to understand your program, you have to read the output, not the input.
No comments yet
Contribute on Hacker News ↗