doc: RFC: husht command line and top-level behavior
This seems reasonable overall. I'd lean toward imitating the interface conventions of rustc
and rustfmt
, with rustc
probably being a closer analogue in purpose and usage.
In particular,…
Engine prototype
- I agree with the changes you made in 8084fde, bd3e350, a182b66, 23ecca3.
- I added an example of an alternate normalization for points. The
Q(I_\infty, I_P) = 1/2
normalization that we use…