BCS wrote:
How much of safeD is formalizable? Is there anything in it that is hoplessly impractical to create formal semantics for?
I don't know, as I don't know how to write 'formal' semantics in english. Some help from someone who does would be appreciated.
