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: May 9, 2025
Created: May 9, 2025