upvote
A high-level language or a compiler wasn't automating end-to-end reasoning for a programming task.
reply
[dead]
reply