Smatchcube's website 🌍

Exercise 2.83

Note that this exercise is not using the previous types we defined earlier, for example we have not defined the integer type, this exercise is confusing for this reason. If we want to use this idea in our previous code we would need some changes:

Now we can raise our previous numbers following the tower of types:\ rational -> scheme-number -> complex\ For example:

Raising two times our rational \(\) give us the complex \(2+0i\) as expected.