Slot

#n
represents the nth argument to a pure function.
#
is short-hand for #1
#0
represents the pure function itself.

Unused arguments are simply ignored:

Recursive pure functions can be written using #0: