giovinazzo-kevin / Ergo

Other
4 stars 0 forks source link

Static predicate rewriting pipeline for libraries #41

Closed giovinazzo-kevin closed 1 year ago

giovinazzo-kevin commented 1 year ago

Waiting on #10

The idea here is to to define the predicate transformations required by some libraries, such as the one that will contain the tabling logic, within the libraries themselves.

This is similar to expansions, but it happens on the C# side.

giovinazzo-kevin commented 1 year ago

Closed by #42