General Information
- Assignments and solutions will be posted on the Schedule & Handouts page. Shortcut links will also be posted below.
- Assignments must be submitted at the beginning of class (1:35pm) on the day
they are due. Code for programming questions must be submitted
electronically, and must compile. Submitted code files must have the
extension
.sml. Answers to theoretical questions may be submitted electronically (if you have ready access to a scanner or a high-resolution digital camera, you can use them to digitize your answers into a PDF file; make sure that what you submit is legible!) or on paper—again, at the beginning of class. - If you use a late day (see the course outline), your assignment is due at 1:35 pm the
following day. If you use both late days, it is due at 1:35 pm two days later.
When using late days to submit written answers to theoretical questions, you should:
- use
handinto submit a digitized version, or - give your answers to a member of the course staff (or an officemate, labmate, etc.) before the deadline, or
- make other arrangements in advance (before 5 pm the previous day).
- use
- Submit files electronically using the
handintool (see the FAQ page for more information onhandin). - If you want to typeset your answers to theoretical assignment questions, you can use
proof.sty, a collection of LaTeX macros for typesetting deductions. - Correctness and elegance are emphasized.
Marks & Feedback
All your assignment marks and comments are collected into individual protected feedback files.
These feedback files don't exist yet. They will be created when the first assignment is marked.
Your username is your SOCS username and your default password is your McGill ID. Email the TAs [add e-mail address here] if you would like to change your password, if you have any technical issues (e.g. you can't log in, your feedback page is corrupted, there's a discrepancy between what's on your feedback page and what's been communicated to you previously, etc.), or if you have any comments or suggestions concerning this service.
Assignments and Solutions
HW 1 |
pdf (also handed out in class), sml template |
Errata: in Q2, Math.fromInt should be Real.fromInt. |