wiem, że: (cons [p] [q]) is ((s ((s i) (k [p]))) (k [q]))
(car [lst]) is ([lst] k)
(cdr [lst]) is ([lst] (k i))
Chcę napisać listę jak ten (cons [a] (cons [b] (cons [c] [nil])))
, która będzie c
Próbuję zrozumieć podstawy rachunku lambda i liczebników Kościoła. Dużo czytałem i ćwiczyłem, ale wydaje mi się, że utknąłem, próbując zobaczyć, jak działają niektóre funkcje. Przykłąd, na którym utkn