<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@zhxsdm" class="u-url mention">@<span>zhxsdm</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@j2kun" class="u-url mention">@<span>j2kun</span></a></span> <br />That is neat!</p><p>I'm confused: there's a project there called Enso, but it doesn't seem to be William Cook's Enso, but also seems very similar to it? Wonder what's going on with that.</p>
