2 ms·

Interesting how the paper uses notation similar to Mathematica today i.e. `foo -> bar` to denote replacement, and curly braces to group together a set of these

Interesting how the paper uses notation similar to Mathematica today i.e. `foo -> bar` to denote replacement, and curly braces to group together a set of these.