Skip to content
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.

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

Feature/rules #90

Draft
wants to merge 18 commits into
base: master
Choose a base branch
from
Draft

Feature/rules #90

wants to merge 18 commits into from

Conversation

leissa
Copy link
Member

@leissa leissa commented Sep 29, 2022

This is what @michel-steuwer and I hacked together, if you are curious. You can now so sth like this:

.rule foo (x: .Nat) = id x => x;

Since these rules are not actually used anywhere, I marked this as draft and just using this PR as an ongoing discussion.

@leissa leissa marked this pull request as draft September 29, 2022 12:02
@NeuralCoder3
Copy link
Collaborator

Does any evaluation happen inside of the rules?

@leissa leissa mentioned this pull request Sep 29, 2022
@leissa
Copy link
Member Author

leissa commented Sep 29, 2022

Does any evaluation happen inside of the rules?

just normal normalization.

@leissa leissa mentioned this pull request Oct 12, 2022
@leissa leissa mentioned this pull request Jan 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants