5 Marmoset

5.1 Accessing Marmoset

Go to the Marmoset home page and log in using your Quest/WatIAM userid and password. Click the "as" button under "Authenticate". You should only have one choice here (unless you are taking another course that uses Marmoset). Click "CS842 (Fall 2019):".

If you don’t see what you’re supposed to see in the steps above, then you are probably not yet added as a student to CS 842 on Marmoset (I will add everyone who is registered on the first day but I might miss those who register after that). Contact me to resolve this issue; I will need your 8-digit student number, your 8-character UW userid, and your first and last name. Only registered students need to or should want to use Marmoset. In this course, it won’t provide any additional useful information about your work.

You should now be able to see the assignments that have been set up on Marmoset for CS 842. You can submit your assignment files to Marmoset via the "web submission" page for each assignment question.

5.2 Submitting Assignments

If only one file is required for an assignment question, you can submit only that file. If multiple files are required for an assignment question, you must zip all of the required files and submit the zip file. Make sure that all of the required files with a required name are named correctly; otherwise, you will receive "did not compile" as the test result.

If you have used Marmoset before, you will find this experience a ittle different. Normally Marmoset runs a series of tests on your code, gives you some information about the results, and allows you to submit again in a controlled fashion if you didn’t pass them all. But since Agda itself checks your proofs, there is no need for real tests. Marmoset will have one "public test" that runs Agda on your submission, to make sure it compiles. That doesn’t distinguish between submissions where no exercises are completed and submissions where all exercises are completed. Your instructor will have to figure out how to do that and assign you a mark.

You may submit multiple times; your latest on-time submission is the one that will count.