Список из нескольких элементов, такой как [A,B,C], соответствует вложенному терму Cons(A,Cons(B,Cons(C,Nil))).
Több elem listája, mint az [A, B, C], ugyanazt jelenti, mint az egymásba ágyazott term: Cons(A, Cons(B, Cons(C, Nil))).Literature Literature