4 ms·

So is LaTeX...but people aren't implementing logic programs in it.

• Blackthorn 8y ago
  The argument is that minikanren does more than SQL. I strongly disagree.
  • haolez 8y ago
    Care to elaborate? Genuinely curious.