olor:#898887;'>   So e.g. `p;' is the same as `p;()' and its value is `()', not `p'.</span></i>
<i><span style='color:#898887;'>*/</span></i>

<i><span style='color:#898887;'>/* The following defines a function `power'. `let' is recursive by default.</span></i>
<i><span style='color:#898887;'>   The only way of defining functions is by lambda-abstraction (\x (...)). Functions are untyped.</span></i>
<i><span style='color:#898887;'>   The logic introduced in further examples allows reasoning about function t