3 ms·

De Bruijn syntax is nameless But reordering brings changes And really it's a graph Not just a tree

• 082349872349872 2y ago
  And you may find yourself binding a parameter And you may find yourself with a free variable And you may find yourself down in subtrees equal to cousin branches And you may find yourself with a beautiful rep, in a beautiful type And you may ask yourself, "Well, how did I get here?" Lagniappe: https://www.youtube.com/watch?v=x3EDCM461jQ https://www.youtube.com/watch?v=x3EDCM461jQ
  • spuriouserror31 2y ago
    [flagged]
  • Y_Y 2y ago
    I like the cut of your jib
• deleted 2y ago
  [deleted]