2 ms·
McCarthy's Ambiguous Operator
- cosmic_quanta 4y agoI found this after wondering why the main data structure in the `nondeterminism` package on Hackage [1] was called `Amb`. Seems like this operator can be used to generate a constraint-solving engine elegantly. [1] https://github.com/abarbu/nondeterminism-haskell https://github.com/abarbu/nondeterminism-haskell