s results in the same posterior because Stan only needs the log probability up to an additive constant. If <code>lambda</code> and <code>y</code> are both constants, the distribution statement will drop both terms (but still check for out-of-domain errors on the inputs).</p>
</section>
<section id="bivariate-normal-cumulative-distribution-function" class="level3 unnumbered">
<h3 class="unnumbered anchored" data-anchor-id="bivariate-normal-cumulative-distribution-function">Bivariate normal cumulative distrib