This is a great comment! > I remember how hard I laughed when I noticed that LC's false function is the same as the Church-encoded numeral for zero. Those sor

This is a great comment! > I remember how hard I laughed when I noticed that LC's false function is the same as the Church-encoded numeral for zero. Those sort-of "eureka" moments when a bit of programming language enlightenment materializes through ones own investigation are a joy.