No syntaxation without reification!
No syntaxation without reification!
@imsop I have to admit I was a bit worried for the last few days that my message on internals might have been completely off-base, or that I had phrased it badly, since it got no replies. https://externals.io/message/130816#130856
So seeing your latest idea around separating the runtime-checked layer from the SA-checked layer was honestly a relief. It seems close to what I was trying to get at, although your version generalizes it much better!
This is completely off-topic for the list, so Iām saying it here. :)