31 Aug
2023
31 Aug
'23
1:36 p.m.
On Thu Aug 31 12:33:36 2023 +0000, Giovanni Mascellani wrote:
Is the name `sr` found somewhere else or did you make it up? If so, why not `ssa`?
Mainly because temps are prefixed with `r`, so I added an `s` for SSA. It could just as easily be `ssa` though.