PAIR := λx.λy.λf.f x y FIRST := λp.p TRUE SECOND := λp.p FALSE NIL := λx.TRUE NULL := λp.p (λx.λy.FALSE) A linked list can be defined as either NIL for the empty list, or the PAIR of an element and a smaller list.
PAIR := λx. λy. λf.f x y FIRST := λp.p TRUE SECOND := λp.p FALSE NIL := λx.TRUE NULL := λp.p (λx. λy.FALSE) یک لیست مرتبط را می‌توان به عنوان NIL برای لیست خالی یا PAIR یک عنصر و یک لیست کوچکتر تعریف کرد.