Rachunek lambda: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m →‎Struktury danych: drobne redakcyjne
m →‎Struktury danych: drobne redakcyjne
Linia 63:
* NIL to <math>\lambda\;x\;.\;true</math>
* CONS to '''PARA''' wartość i lista
Następująca funkcja zwraca '''true''', jeśli argumentem jest NIL, ioraz '''false''', jeśli to CONS: <math>\lambda\;x\;.\;x\;(\lambda\;a\;b\;.\;{false})</math>
 
==Zobacz też==