So as far as I can see, the copying conventions of husht will make it easy to have cargo.toml wherever we like, and have it end up in the top level in the rust directory
Are you planning to…
Personally: I'd like to think of my Husht project directory as a mirror of what will end up in the Rust target directory, with Husht source replaced with Rust source. (I'd be happy to use some…
This looks reasonable!
One subtlety: since the output directory may be inside the current directory, and it may contain .toml
files, maybe we should specify that the contents of the output…
I've checked and incorporated the changes you suggested, so you can start reviewing again!
inversive-display
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,…
- 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…