4 Logistics

The textbook for CS 842 is "Programming Language Foundations in Agda" by Wen Kokke and Philip Wadler (available in full online). Local versions of the Agda files will be made available on the Handouts page.

There will be frequent programming assignments, not on a regular schedule, but timed by when we have covered the relevant material in lecture. Assignment details will be posted on the Assignments page. We will use the Marmoset submission system, but the only "testing" it will do is to ensure that your files compile, so if you have used it in another course, this will be a much simpler process. Submission details are on the Marmoset page.

The software used in the course is Agda This is available on the CS general computing environment. Interactive development in Agda is done through the Emacs text editor. If you want to install these on your own machine, there is a discussion in the Getting Started section of my notes on the Handouts page (which add to the section of the same name in PLFA).

There is some overhead in installing Emacs and/or learning to use it, but you can use it for many other purposes.

Other resources that are not directly required for the course but may be of assistance are detailed on the Resources page.