Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
labels. That’d allow us to duplicate duplications (and to have layers of superposed superpositions), giving us all the sharing power I’ve observed in my previous posts. I’d love to show how all of it works with some animations, and to attempt writing some proofs, but this story is already quite big