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: April 19, 2024
Created: April 19, 2024