A neat little introduction to an important field in computer science. Lambda calculus is often too little known but it has very important ramifications in several fields.

More feedback about uv use in the wild. This is getting really close to becoming the de facto solution for new projects.