Introduction

Website: Here Piazza: Here Zoom: Here Lab R (Cooper=cppierce, Ryoha, and Andrew), Lecture 2 Recording: Here Assignments: Here Piazza: Here TODO: read Office Hour: Here

My Meeting: HTTP://cmu.zoom.us/j/4589355733?pwd=NjFtYTdvc01QYTMya1AzVjMzRitFZz09

Lab: Here

SML Reference: Here TODO: read SML Book: Here Style Guide: Here TODO: read Latex Guide: Here TODO: read Proof Guide: Here Here TODO: read Totality Guide: Here Here TODO: read

Libraries: - Sequence: Here - Game: Here - Matrix: Here - Set: Here - Stream: Here

Tree: Tree-to-SML Converter to help you to visualize and construct tree test cases. This resource also supports the shrub datatype.

Late

You have 3 late assignments

Lab

Lab attendance: worth 10% of your grade. Lab solutions: on Canvas Friday Make up:

Exam

These answers must then be submitted via scanning app from a mobile phone.

TODO: read resources TODO: breakout ROOM selection???

Table of Content