bodil
Implementing using Generic
The library is currently pretty limited because the data types are limited to LogicValue. What if it were reimplemented to be able to use anything that implements Generic?
it seems like this should be possible, and with the generic deriving, it would be easy to use this library for any data type.
There's a branch which uses type level trickery to accomplish this, which was on hold pending support for fundeps. I just haven't gotten around to finishing it after fundeps arrived. I'd absolutely take a patch for Generic in the meantime, though. Come to think of it, it might even be a neater solution.
Ok, I'll take that on! It'll give me an excuse to learn how kanren is implemented :slightly_smiling_face: