Equational Programming

List all lecture notes.

My homepage.

Equational Programming

I took this course in first year but hopefully it hasn’t changed much since then.

Contents: