Detecting Endianness

Stream: new members

[Carbon]

As far as I know, all current supported Lean 4 platforms are little-endian. Nevertheless, I am wondering if there is a way to detect endianness, or to compile the appropriate primitives depending of endianness.