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

Fixed and_null_emptystr_is theorems #128

Merged

awalterschulze merged 1 commit into katydid:main from keeganperry7:and_emptystr_null_is

Jan 9, 2025

Contributor

keeganperry7 commented Jan 7, 2025

I fixed the definition of the simplification rules when and-ing a nullable language with the empty string.

I've changed the rules from:
and r emptystr = and emptystr r = r
to:
and r emptystr = and emptystr r = emptystr


          Fixed and_null_emptystr_is theorems

d3d3d09

awalterschulze approved these changes

View reviewed changes

Member

awalterschulze commented Jan 9, 2025

Good catch and fix :D

awalterschulze merged commit b7b8dea into katydid:main

1 check passed

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

Labels

None yet