Rachunek lambda: Różnice pomiędzy wersjami

Para <math>p</math> złożona z Yelementów <math>x</math> i Z<math>y</math> to λ x<math>\lambda z.z x '''Y Z'''xy</math>

Pierwszy element wyciąga się za pomocą '''PARA PRAWDA'''<math>p\;\mbox{true}</math>, natomiast drugi przez '''PARA FAŁSZ'''<math>p\;\mbox{false}</math>.

* NIL to <math>\lambda\; x\; . \;mbox{true}</math>

Następująca funkcja zwraca '''<math>\mbox{true'''}</math>, jeśli argumentem jest NIL, oraz '''<math>\mbox{false'''}</math>, jeśli to CONS: <math>\lambda\; x\;.\;x\;(\lambda\;a\;b\; ab.\;mbox{false})</math>