I bet it would absolutely shine for regex. I can’t think of a more obvious use case, where information density about the state space is so high and the implicat

I bet it would absolutely shine for regex. I can’t think of a more obvious use case, where information density about the state space is so high and the implications are so tuned for computer interpretation instead of human readers. I say that as someone who quite likes regex but realizes most humans don’t.