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:
2023-01-19
try
/DWF/DLeq)