Logician

Logician copied to clipboard

grype

Inspect two variables

1

How can I create a goal that depends on the value of two or more variables?

ferranpujolcamins

[It's](http://matt.diephouse.com/) good stuff and helps understand why I would want to use Logician.

raytrask

bimap should be able to throw if a value can't be converted

1

For instance, integer multiplication would require division with no remainder. Given `a * b == 12` where `a` and `b` are integers, `b == 7` shouldn't unify.

mdiep

In order to optimize based on constraints, we need to be able to inspect constraints to some extent—instead of immediately evaluating them.

mdiep

Use Result

1

`try`/`catch` will work well in some places yet, but it'd be nice to have the types and it will enable some source improvements.

mdiep