j
k
j a
j l
...map f (S a ss) = S (f a) (map f ss)
map f (S a ss) = S (f a) (map f ss)
This should have been "... = S (f a) (map (map f) ss)" i believe. Sorry.
Back to the thread
Back to the list
