I downloaded ABC programming language and unpacked it as the docs said, but the workspace didn't come out

Question

How it went wrong Do I have to do something on PATH?