Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization
By Jimmc414 · 2026-08-03 · 7 points · 1 comments
https://arxiv.org/abs/2607.25373
By Jimmc414 · 7 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews