2 ms·
Yes, it is the case here as well. Reducing terms can be tricky because of distributive laws. The graph-like representation makes reduction algorithmically easie
by theaeolist 6y ago
Yes, it is the case here as well. Reducing terms can be tricky because of distributive laws. The graph-like representation makes reduction algorithmically easier.