back
3 comments
Ooo I love anything miniKanren related.

I did a close reading of the implementation in the original miniKanren paper; you can see my write-up and implementation here: https://codeberg.org/ashton314/microKanren

miniKanren paper: http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf

Also relevant—a practical use-case for miniKanren: https://aphyr.com/posts/354-unifying-the-technical-interview

Judging from your enthusiasm I'm sure this was a typo, but you linked the μKanren paper (Jason Hemann's fantastic, minimal implementation) - you probably meant Will Byrd's thesis, the miniKanren paper: https://www.proquest.com/docview/304903505
You're right—I did mean microKanren. Thanks for the correction.