cKanren icon indicating copy to clipboard operation
cKanren copied to clipboard
verified publisher icon calvis

Extensible !=

Open calvis opened this issue 12 years ago • 0 comments

For libraries like eigen and sets, an extensible disequality is practically mandatory for clarity and correctness.

calvis avatar Nov 04 '13 01:11 calvis