Closed aaronbembenek closed 1 year ago
Update Formulog's C++ runtime to work with code simulating the interpreter's eager evaluation mode (i.e., unbatched evaluation).
Update Formulog's C++ runtime to work with code simulating the interpreter's eager evaluation mode (i.e., unbatched evaluation).