writing.exchange is one of the many independent Mastodon servers you can use to participate in the fediverse.
A small, intentional community for poets, authors, and every kind of writer.

Administered by:

Server stats:

350
active users

#propertytesting

0 posts0 participants0 posts today
jnpn<p>Seems like I found what I was looking for </p><p><a href="https://github.com/vouch-opensource/fugato" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">github.com/vouch-opensource/fu</span><span class="invisible">gato</span></a></p><p><a href="https://mastodon.social/tags/propertytesting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>propertytesting</span></a> <a href="https://mastodon.social/tags/test" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>test</span></a> <a href="https://mastodon.social/tags/check" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>check</span></a></p>
arialdo<p>Just realized that the implementation of the classic reversal-of-a string Property Test that virtually all the tutorials use is not that correct. Indeed, </p><p>rev rev xs == xs</p><p>happily passes for</p><p>rev xs = xs</p><p>That sucks. <a href="https://mastodon.online/tags/propertytesting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>propertytesting</span></a></p>