I know of Hazel[1] as well. Is there a more free-form version of typed holes? The implementations here seem very cumbersome. Perhaps a version of this that has

I know of Hazel[1] as well. Is there a more free-form version of typed holes? The implementations here seem very cumbersome. Perhaps a version of this that has more focus on the duality of code as both runnable, complete code, and intermediate form between thought and code. [1]: https://hazel.org/ https://hazel.org/