Facundo Javier Gelatti

The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation. page

"Test && Commit || Revert", also known as TCR, is a programming workflow similar to TDD. #Smalltalks2022. post , tweet