search

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust
MIT License
5 stars 2 forks source link

Contract in both Open and Closed variants #66

Closed bvssvni closed 9 months ago

bvssvni commented 9 months ago

I think the difference between Open and Closed variant should be limited to reducing ??x => x.

When it comes to sequences, both variants should contract.

Otherwise, the rules become too complex to reason about.