miniKanren.org (via veqq) — discussion

#logiclangs