Post Ax8jKnkJk92Fpsvgky by carapace@mastodon.social
 (DIR) More posts by carapace@mastodon.social
 (DIR) Post #Ax8jKnkJk92Fpsvgky by carapace@mastodon.social
       2025-08-13T21:37:44Z
       
       0 likes, 0 repeats
       
       #Thue program for Laws of Form arithmetic.()()::=()(())::=::=Thue: https://wiki.xxiivv.com/site/thue.htmlLoF: http://www.markability.net/LoF: https://en.wikipedia.org/wiki/Laws_of_Form#esolang #logic
       
 (DIR) Post #Ax8jL2Rj5Y4pQZLYMS by neauoire@merveilles.town
       2025-08-13T21:42:06Z
       
       0 likes, 0 repeats
       
       @carapace Oh that's super fun, never heard of this before, but it articulates rewriting in a playful way.http://www.markability.net/arthur.htm