/lambda-calculus-and-categories

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

No issues in this repository yet.