Mentions légales du service

Skip to content

Solver: remove (<$$>), (^&) from implementation and documentation

SCHERER Gabriel requested to merge gscherer/inferno:more-infix-hunting into master

Those infix operators were previously removed from the interface to gently push people to using let+/and+ instead, but they remained defind internally and mentioned in some places of the documentation.

Merge request reports