Computing 2
n
Define the function
exp2: nat -> nat
such that
(exp2
n
)
is the number
2
n
.
Solution
Look at
this file