lgirault/category-parametric-talk

Talks on category-parametric programming.