lecture 13: fix python syntax

This commit is contained in:
Joel Kaasinen
2022-08-08 11:36:29 +03:00
parent 20adfa0835
commit 61f6685dd4
+1 -1
View File
@@ -2735,7 +2735,7 @@ this topic connects to equational reasoning discussed in chapter 10.
<div class="sourceCode" id="cb214"><pre class="sourceCode python"><code class="sourceCode python"><span id="cb214-1"><a href="#cb214-1" aria-hidden="true" tabindex="-1"></a><span class="co"># Python</span></span> <div class="sourceCode" id="cb214"><pre class="sourceCode python"><code class="sourceCode python"><span id="cb214-1"><a href="#cb214-1" aria-hidden="true" tabindex="-1"></a><span class="co"># Python</span></span>
<span id="cb214-2"><a href="#cb214-2" aria-hidden="true" tabindex="-1"></a>x <span class="op">=</span> op(val)</span> <span id="cb214-2"><a href="#cb214-2" aria-hidden="true" tabindex="-1"></a>x <span class="op">=</span> op(val)</span>
<span id="cb214-3"><a href="#cb214-3" aria-hidden="true" tabindex="-1"></a><span class="cf">if</span> x:</span> <span id="cb214-3"><a href="#cb214-3" aria-hidden="true" tabindex="-1"></a><span class="cf">if</span> x:</span>
<span id="cb214-4"><a href="#cb214-4" aria-hidden="true" tabindex="-1"></a> f x</span></code></pre></div> <span id="cb214-4"><a href="#cb214-4" aria-hidden="true" tabindex="-1"></a> f(x)</span></code></pre></div>
<div class="sourceCode" id="cb215"><pre class="sourceCode java"><code class="sourceCode java"><span id="cb215-1"><a href="#cb215-1" aria-hidden="true" tabindex="-1"></a><span class="co">// Java</span></span> <div class="sourceCode" id="cb215"><pre class="sourceCode java"><code class="sourceCode java"><span id="cb215-1"><a href="#cb215-1" aria-hidden="true" tabindex="-1"></a><span class="co">// Java</span></span>
<span id="cb215-2"><a href="#cb215-2" aria-hidden="true" tabindex="-1"></a><span class="bu">Object</span> x <span class="op">=</span> <span class="fu">op</span><span class="op">(</span>val<span class="op">);</span></span> <span id="cb215-2"><a href="#cb215-2" aria-hidden="true" tabindex="-1"></a><span class="bu">Object</span> x <span class="op">=</span> <span class="fu">op</span><span class="op">(</span>val<span class="op">);</span></span>
<span id="cb215-3"><a href="#cb215-3" aria-hidden="true" tabindex="-1"></a><span class="cf">if</span> <span class="op">(</span>x <span class="op">!=</span> <span class="kw">null</span><span class="op">)</span> <span class="op">{</span></span> <span id="cb215-3"><a href="#cb215-3" aria-hidden="true" tabindex="-1"></a><span class="cf">if</span> <span class="op">(</span>x <span class="op">!=</span> <span class="kw">null</span><span class="op">)</span> <span class="op">{</span></span>