Elements and Lists of Length 1
The head is an element
The tail is a list
Example list - (x, y)
Head – x - an element of type T
“a T”
Tail – (y) – list of elements of type T
“a list of T”
Previous slide
Next slide
Back to first slide
View graphic version