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:
September 15, 2023
Created: September 15, 2023
Created: September 15, 2023