There is, in fact, a spec to read[1], as of earlier this year. [1] https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to

There is, in fact, a spec to read[1], as of earlier this year. [1] https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to-rust-project/ https://rustfoundation.org/media/ferrous-systems-donates-fer...