title: Beta-Reduction of Lambda Calculus
body: <p>I know this is probably really simple but I am having problems figuring out how to reduce this. The following is my equation. </p>
  
  <pre><code>(λx λy . y x) z
  </code></pre>
  
  <p>I just need an idea of where to start with this because I am totally lost. </p>