Computing 2
^{n}
Define the function
two_power: nat -> nat
such that
(two_power
n
)
is the number
2
^{n}
.
Solution
Look at
this file
Going home
Pierre Castéran