Skip to main content
Home
Featured
Campus Life
Academics
Live Events
Channels
Home
Featured
Campus Life
Academics
Live Events
Channels
Create
Play
Play
Download
00:00
Play
Seek 10 seconds backwards
Seek 10 seconds forward
00:00 / 00:00
Mute
Picture in picture
Fullscreen
cos326-2020-08-01-simple-proofs
From
Daniel Macleod
August 16th, 2020
0 likes
0
205 plays
205
You unliked the media.
Related Media
Loading…
Details
Details
Attachments
Share
Details
Attachments
Share
Close search in video box
To search for an exact match, please use Quotation Marks. Example: “computer”
Back
Did I Get it Right? Part 1: Simple Proofs
Tags
cos326
expression
side
function
hand
proof
expressions
programs
times
principle
proofs
step
e2
equals
evaluation
loop
words
equation
foo
exception
functions
Date
August 12th, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ
Appears In
COS 326 Functional Programming
Link to Media Page
Link to Media Page
Embed
oEmbed
Email
Link to Media Page
Embed
oEmbed
Email
Start & End Time:
Start Time:
Start at
Set current video time as start time
End at
Set current video time as end time
Share this media via Email
Share by email
Loading
Related Media
Loading…
Copy link to share