Notes from Let Over Lambda