+Some instructions may say to use `.bashrc` instead of `.bash_profile`. These files do similar jobs.
+
+After issuing the relevant `echo` command, I exited the Terminal and started a new Terminal session. Now if I type `echo $PATH` I should see the directory I just added in the list. Now I can contine setting up Cabal. I type:
+
+ which alex happy
+
+If that gives me back two pathnames, one to the program `alex` and the other to the program `happy`, then I'm already finished. If not, then I type: