Skip to main content
Home
Featured
Campus Life
Academics
Live Events
Channels
Home
Featured
Campus Life
Academics
Live Events
Channels
Create
Play
Play
00:00
Play
Seek 10 seconds backwards
Seek 10 seconds forward
00:00 / 00:00
Mute
Picture in picture
Fullscreen
cos326-2020-08-03-induction-lists
From
Daniel Macleod
August 16th, 2020
likes
views
Related Media
Loading…
Details
Details
.
.
.
Details
.
.
.
Back
Did I Get it Right? Part 3: Induction for Lists
Tags
cos326
length
induction
tail
proofs
proof
hand
side
theorem
cat
cases
head
hypothesis
expression
lists
excess
equation
cons
element
access
function
Looking for more...
