4 Handouts

Most of the files you need are linked in the Handouts chapter of LACI. The two songs quoted in the epigraphs that open and/or close some chapters of LACI are That’s How I Escaped My Certain Fate (Mission of Burma), and Wake Up [EP version] (Essential Logic). To get the full effect, listen to these before you start reading the introduction to LACI.

Starter files for some assignment questions are linked below and also in context on the Assignments page.

• A1Q1-starter.rkt

• A1Q2-comments.txt

• A1Q3-starter.rkt

• A2Q1-comments.txt

• A2Q2-starter.rkt

• A3Q1-comments.txt

• A3Q2-starter.rkt

• A4Q1-starter.rkt

• A4Q2-starter.rkt

• A4Q3-starter.rkt

• A6Q1-comments.txt

• A6Q2-starter.rkt

• A6Q3-comments.txt

• A6Q4-starter.rkt

• A6Q5-starter.rkt

As requested at the time, here is the completed Agda code for the demonstration in the first lecture.

4.1 Intellectual Property

Students should be aware that this course contains the intellectual property of their instructor, TA, and/or the University of Waterloo. Intellectual property includes items such as:

• Lecture content, spoken and written (and any audio/video recording thereof);

• Lecture handouts, presentations, and other materials prepared for the course (e.g., PowerPoint slides);

• Questions or solution sets from various types of assessments (e.g., assignments, quizzes, tests, final exams); and

• Work protected by copyright (e.g., any work authored by the instructor or TA or used by the instructor or TA with permission of the copyright owner).

Course materials, and the intellectual property contained therein, are used to enhance a student’s educational experience. However, sharing this intellectual property without the intellectual property owner’s permission is a violation of intellectual property rights. For this reason, it is necessary to ask the instructor, TA and/or the University of Waterloo for permission before uploading and sharing the intellectual property of others online (e.g., to an online repository). Permission from an instructor, TA or the University is also necessary before sharing the intellectual property of others from completed courses with students taking the same/similar courses in subsequent terms/years. In many cases, instructors might be happy to allow distribution of certain materials. However, doing so without expressed permission is considered a violation of intellectual property rights. Please alert the instructor if you become aware of intellectual property belonging to others (past or present) circulating, either through the student body or online. The intellectual property rights owner deserves to know (and may have already given their consent).