Statix Background

• rule selection
• open/closed world reasoning (try/DWF/DLeq)
• desugaring of functional rules
• Internal representation of scope graphs
• Query Scheduling/Permission to Extend

---

Last update: January 28, 2025
Created: January 28, 2025