Smatchcube's website 🌍


Exercise 2.89

Surprisingly we can do that changing only few lines of code thanks to the different level of abstraction.

Here we just “translated” the first term to the previous representation so we don’t have to make many changes.