[Tags]

• #abstract machine (5)
• #c++ (2)
• #carbon (2)
• #cbpv (4)
• #logic (4)
• #meta (1)
• #rust (2)
• #safety (1)
• #zola (1)