pamellies/lambda-calculus-and-categories

A repository for the material of my course on lambda-calculus and categories