Contract stems from the fact that constraint args influence Rules hashes (unique tags) and so must be stable under irrelevant changes for incremental logic |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
Contract stems from the fact that constraint args influence Rules hashes (unique tags) and so must be stable under irrelevant changes for incremental logic |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||