<p>I&#39;m excited to share something I&#39;ve been working with for a while in the context of small language experiments: a new &quot;lower-house&quot; syntax to compete with s-expressions (following the nomenclature of <span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> in <a href="https://parentheticallyspeaking.org/articles/bicameral-not-homoiconic/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">parentheticallyspeaking.org/ar</span><span class="invisible">ticles/bicameral-not-homoiconic/</span></a>). I call the syntax &quot;f-expressions.&quot;</p><p>Implementation: <a href="https://github.com/ToposInstitute/fexplib" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/ToposInstitute/fexp</span><span class="invisible">lib</span></a><br />Documentation: <a href="https://forest.topos.site/public/foreign-topos-ocl-00CE.xml" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">forest.topos.site/public/forei</span><span class="invisible">gn-topos-ocl-00CE.xml</span></a><br />Examples of use: <a href="https://github.com/ToposInstitute/emtt/tree/main/examples" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/ToposInstitute/emtt</span><span class="invisible">/tree/main/examples</span></a></p>