Closed G3Kappa closed 1 year 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.