a-mir-formality
a-mir-formality copied to clipboard
scalar types should be nameable
Instead of having a scalar type be (rigid-ty i32 ()) we should make it (rigid-ty i32-scalar ()) or something like that, and then alias that term to i32. This way we could just write i32 in examples.