We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
if
Following up on the discussion here.
Current approach is:
if b then if b' then e11 else e10 else if b' then e01 else e00
Alternative might be:
The former is better for chained if conditions in the else clauses (else if ...), whereas the latter is more symmetric/compositional.
else
else if ...
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Following up on the discussion here.
Current approach is:
Alternative might be:
The former is better for chained
if
conditions in theelse
clauses (else if ...
), whereas the latter is more symmetric/compositional.The text was updated successfully, but these errors were encountered: