Computing 2ⁿ

Define the function two_power: nat -> nat such that (two_power n) is the number 2ⁿ.

Solution

Look at this file