<p><span class="h-card" translate="no"><a href="https://types.pl/@sliminality" class="u-url mention">@<span>sliminality</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@flippac" class="u-url mention">@<span>flippac</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@pdarragh" class="u-url mention">@<span>pdarragh</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> "Infersively-typed programming languages like OCaml..." 🔥</p>
