title: Lambda Calculus (λa.b)((λx.xx)(λx.xx))
body: <p>Im looking for an example of a weakly normalising lambda term.
  Am I right in saying that the following:</p>
  
  <pre><code>(λa.b)((λx.xx)(λx.xx))
  </code></pre>
  
  <p>Reduces to:</p>
  
  <pre><code>b
  </code></pre>
  
  <p>or:</p>
  
  <p>doesnt terminate (if you try to reduce <code>(λx.xx)(λx.xx)</code>)</p>
  
  <p>I wasnt sure if the first reduction is correct so just need some clarification,
  thanks.</p>