You have several options for setting up software for this course:
If you use option 1, 2, or 3 above, you should not need to install any software (except possibly SML mode for Emacs). If you choose option 4, instructions for installing the necessary software are here:
Note: For Spring 2020, all physical labs on campus are closed. All references the to physical department labs in the above documents should also apply to the virtual lab.