Search for tag: "identifier"

CL - 7b - Quantifiers And Lambda

In this video we briefly mention more examples of sections, and then introduce λ-functions, which we use to help us interpretat statements such as, "Somebody loves Everybody".

From  Haoran Peng on October 30th, 2020 0 likes 473 plays 0