plc16:lecture_7

# Lecture 7

Lecture 7 Slides

This lecture is about writing recursive functions for manipulating lists and also proving properties of programs.