Polonius Working Group

Videos

• 

  1 — Polonius WG: Initialization and move tracking
• 

  2 — Polonius WG: The role of subset relations
• 

  3 — Polonius-rustc walkthrough