Bordered knot Floer homology 4

Lecture four of the series on bordered knot Floer homology.

A-infinity modules and type-D structures are introduced.