3 ms·It should be easy to implement miniKanren in txr lisp.by vcdimension 3y agoIt should be easy to implement miniKanren in txr lisp.kazinator 3y agoI would consider something like that for inclusion in stdlib/.