3 ms·You're right—I did mean microKanren. Thanks for the correction.by ashton314 2mo agoYou're right—I did mean microKanren. Thanks for the correction.