Felix 🇺🇦🚴♂️🇨🇦🇬🇱🇩🇰🇲🇽🇵🇦 🇪🇺<p><span class="h-card" translate="no"><a href="https://types.pl/@disconcision" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>disconcision</span></a></span> <a href="https://norden.social/tags/hazel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>hazel</span></a> looks interesting. Not heard of yet. </p><p>Hazel is a live functional-programming environment rooted in the principles of type theory.</p><p><a href="https://hazel.org/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">hazel.org/</span><span class="invisible"></span></a></p><p><a href="https://github.com/hazelgrove/hazel" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/hazelgrove/hazel</span><span class="invisible"></span></a></p><p><a href="https://norden.social/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://norden.social/tags/elm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>elm</span></a> <a href="https://norden.social/tags/reasonml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>reasonml</span></a> <a href="https://norden.social/tags/ocaml" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ocaml</span></a></p>