New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

More Documentation on Arithmetic Rules #131

Closed

eriq-augustine opened this issue Nov 15, 2017 · 0 comments

Labels

Difficulty - Medium Documentation Priority - Normal

Owner

eriq-augustine commented Nov 15, 2017

I feel like there are a lot of caveats about arithmetic rules that are not properly covered here: https://github.com/eriq-augustine/psl/wiki/Rule-Specification

Things like:

behavior when select allows nothing through
behavior with more than one select (how it will disallow non-existent combinations)
how the closed world assumption is bent for selects

eriq-augustine added Difficulty - Medium Documentation Priority - Normal labels

eriq-augustine mentioned this issue

More Documentation on Arithmetic Rules linqs/psl#178

Open

eriq-augustine closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment