Re:Unifying the Technical Interview
by chris_5f on Thursday January 02, 2025 @04:15PM
(#42579007)
Good Post. But I struggled to understand it a first. Would be really helpful if you add a short description explaining it.
[ Parent
| on HN ]
It's simple: it starts with Scheme being implemented in Prolog and then Kanren gets implemented in the Prolog Scheme. It's much less difficult than a couple of magnets and an air hockey table.