/opsem-team

Home of the operational semantics team, used primarily for procedural items

opsem-team

Home of the operational semantics team, used primarily for procedural items