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(пар) елемента и мале листе.