De Bruijn notation, and why it's useful



Login to add comment