Closed giovinazzo-kevin closed 2 years ago
Closes #10 and implements libraries and events. Decouples interpreter, solver and their scopes from some tabling and expansion-related logic.
Closes #10 and implements libraries and events. Decouples interpreter, solver and their scopes from some tabling and expansion-related logic.