1 2 3 4 5 6 7 8 9 10 11 12 13 14
> \lst=macro: ->. > \lst=macro: ->{snoc-a}. > \lst=macro: ->{snoc-a}{snoc-b}. > \lst=macro: ->{snoc-b}. > \lst=macro: ->. > \lst=macro: ->{}. > \lst=macro: ->.