cKanren
cKanren copied to clipboard
Extensible !=
For libraries like eigen and sets, an extensible disequality is practically mandatory for clarity and correctness.