𝜌 as attribute and global 𝛷 extension #28

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

Draft

viol37 wants to merge 1 commit into master from rho-Phi-extension

+163 −0

Member

viol37 commented Mar 15, 2024 •

edited by pr-codex bot

Loading

PR-Codex overview

This PR introduces a new Term data structure with OptionalAttr and Bindings, along with functions for substitution and reduction rules.

Detailed summary

Added OptionalAttr and Bindings data structures
Defined substitute function for Term
Implemented lookup and insert functions for Bindings
Introduced Reduce inductive type for reduction rules

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}


          Add syntax and reduction

96d71dd

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

Labels

None yet