7776f97fe7
The tests presumably fail because of a broken contract that is used in the typesystem implementation, namey that a logical variable contained by an constraint argument-term (as opposed to being an argument itself) reactivates the constraint on ground/parent change event. This assumption is false, thereby the implementation needs to be adjusted keep compatibility with the contract. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||