Toot

Written by Brendan Zab on 2025-01-20 at 01:33

@Laauurraaa Forgot to update you, but I managed to push some of the ideas I’ve been mulling over for the past while: https://github.com/brendanzab/language-garden/tree/main/lang-fractal-tree-rewriting

• Some thoughts: https://github.com/brendanzab/language-garden/blob/main/lang-fractal-tree-rewriting/IDEAS.md

• A binary tree example: https://github.com/brendanzab/language-garden/blob/main/lang-fractal-tree-rewriting/examples/binary_tree.ml

I still need to get around to making an external DSL and an editor though! The screenshot is just hard-coded with the code I’d like to be able to write (I can get close with the implementation in OCaml).

=> View attached media

=> More informations about this toot | View the thread | More toots from brendan@types.pl

Mentions

=> View Laauurraaa@mas.to profile

Tags