De Bruijn notation, and why it's useful(blueberrywren.dev)125 points by blueberry87 1 year ago | 35 comments