<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <span class="h-card" translate="no"><a href="https://fosstodon.org/@deshipu" class="u-url mention">@<span>deshipu</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@robpike" class="u-url mention">@<span>robpike</span></a></span> </p><p>:-) Not really a fixed-point, no, I wasn't thinking of anything deep! I meant it more like n^n, pain for the sinner is amplified twice, in the base (there's an extra plague, namely types) and in the exponent (all plagues are typed).</p>
