MIT 2020: Lectures

Lectures from MIT 2020 Programming with Categories course