Comment on “A simple calculation”
aubeynarf@lemmynsfw.com 4 months ago
That particular line looks like application of some rule or substitution of a term - on it’s own, simple
Comment on “A simple calculation”
aubeynarf@lemmynsfw.com 4 months ago
That particular line looks like application of some rule or substitution of a term - on it’s own, simple
marcos@lemmy.world 4 months ago
Yep. There’s no rule, it’s only variable substitution.
It’s a really large substitution, touching several places and etc, but it’s still simply variable substitution.