4 Logistics

There is a lot of information on the "For Prospective Students" page, so please make sure that you’ve read that.

The textbook for CS 747 is "Programming Language Foundations in Agda" (PLFA) by Wen Kokke, Philip Wadler, and Jeremy Siek (available in full online). Local versions of the Agda files are available on the Handouts page.

There are frequent programming assignments. Assignment details are 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 and the types of submitted answers have not changed from the starting point, so if you have used Marmoset 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 2.6.1.3, to stay in line with PLFA. You should probably be fine with any version from 2.6.0.x to 2.6.2.x. 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.

Installing Agda on Windows can be problematic. I have made available a minimal virtual Linux system, properly configured, that can be used on Windows, Linux, and OS X. For some of you this will be the easiest option. I originally made it for CS 245E Fall 2020, but I have updated it to the versions of Agda and the standard library that we are using. You can get it here.

I will use the LEARN gradebook, but there will be no other course content on LEARN. For the most part, you should be able to compute your accumulated marks yourself.

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