Pass substitution rules to substitution rules?
Open
- Dominant language
- Python
- Stars
- 636
- Forks
- 81
- Avg merge
- 1d 19h
- Merged PRs (30d)
- 7
Description
cc @a-alveyblanc
Example:
```
dot(a, b, n):=domain({[i]: 0<=i
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reproducing the issue's `dot` examples and reading the existing handling of substitution rules, including the interaction with `domain` and `sum`. Determine whether substitution rules can be passed as arguments to other substitution rules and define the expected behavior for both positional and `$`-prefixed arguments.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- compilers, tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Active
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100