FunctionalProgramming<br><br><a href="https://arxiv.org/abs/2505.22558" rel="nofollow noopener noreferrer" target="_blank">https://arxiv.org/abs/2505.22558</a><br><br><a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/math.NT" target="_blank">#math.NT</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/math.AG" target="_blank">#math.AG</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/math.AT" target="_blank">#math.AT</a> <a rel="nofollow noopener noreferrer" class="mention hashtag" href="https://mastodon.social/tags/math.CT" target="_blank">#math.CT</a><br><br><a href="https://awakari.com/pub-msg.html?id=Bf0Wo66tLdhvpcvSg2kRA4QGFTU&interestId=FunctionalProgramming" rel="nofollow noopener noreferrer" target="_blank">Result Details</a>