faster-minikanren icon indicating copy to clipboard operation
faster-minikanren copied to clipboard

Published 20 hours ago • verified publisher icon michaelballantyne

Use variable-age ordering to simplify disequality

Open michaelballantyne opened this issue 3 years ago • 0 comments

It seems like we might be able to get away with only watching one side of the disequality, now.

michaelballantyne avatar Sep 20 '21 20:09 michaelballantyne