<p><span class="h-card" translate="no"><a href="https://chaos.social/@swetland" class="u-url mention">@<span>swetland</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> yeah, I also found the spec difficult to navigate (to make it worse it has some obnoxiously resource-hungry javascript that renders formulas)</p><p>my understanding is that the spec is written with one main consumer in mind: people doing formal verification of the spec. the secondary consumer is people with a lot of PL experience writing runtimes. everyone else isn't really considered, in practice if not in theory</p>
