formality_core friction
- had to add anyhow, tracing as public dependencies
- defining a custom fold for
Tyis annoying, it'd be nice if I could do#[term(no_fold)]or something like that- also it'd be nice if there were a shorthand -- e.g., maybe just add a
#[substitute]attribute or something
- also it'd be nice if there were a shorthand -- e.g., maybe just add a
- Variable should implement
parse, no reason not to