3 ms·
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
by idahoduncan 2mo ago
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 https://www.proquest.com/docview/304903505
- ashton314 2mo agoYou're right—I did mean microKanren. Thanks for the correction.