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
I suppose built-in rules should match with same semantic as user defined rules. but there is no check for built-in corresponding to line 135.
built-in:
Noq/src/engine/rule.rs
Lines 155 to 157 in 716fae3
user:
Lines 134 to 136 in 716fae3
but I guess this feature is not released yet.
test case:
noq> test :: apply_rule(deep, b, c, apply_rule(deep, a, pair(b,b), a)) {
The text was updated successfully, but these errors were encountered:
No branches or pull requests
I suppose built-in rules should match with same semantic as user defined rules.
but there is no check for built-in corresponding to line 135.
built-in:
Noq/src/engine/rule.rs
Lines 155 to 157 in 716fae3
user:
Noq/src/engine/rule.rs
Lines 134 to 136 in 716fae3
but I guess this feature is not released yet.
test case:
The text was updated successfully, but these errors were encountered: