You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It looks like we have messed a bit with the normalization forms during the BAP 2.0 release. The let-normalization is not available anymore, despite being mentioned in the documentation and comments. So we need to restore let-normalizations and, probably, revisit the normal forms. I think we should split BNF2 into BNF2a and BNF2b (or BNF2 and BNF3) with one having the let-normalization and another not having.
The text was updated successfully, but these errors were encountered:
It looks like we have messed a bit with the normalization forms during the BAP 2.0 release. The let-normalization is not available anymore, despite being mentioned in the documentation and comments. So we need to restore let-normalizations and, probably, revisit the normal forms. I think we should split BNF2 into BNF2a and BNF2b (or BNF2 and BNF3) with one having the let-normalization and another not having.
The text was updated successfully, but these errors were encountered: