write append/3 for ordinary lists
169
What’s the time complexity of naive append? Explain why it performs copying.
171-172
What is the Prolog syntax for
1 :: ( 2 :: ( 3 :: A ) )
173
app/6 unsimplified version
174
Derive app/6 simplified
175-184
Explain the notation for difference lists
185-186
How should you write an empty difference list?
187
Explain the reason why empty diff lists are A-A by considering appending onto an empty list.
188