`disj` should fail on empty list (recursive base case or otherwise).
Opened this issue · 0 comments
z5h commented
disj should fail on the empty case (recursive base case or otherwise).
microKanren/src/MicroKanren/UserLevel.elm
Line 55 in ddce711
(And also thanks for this. I've added some extensions and am using it to enumerate legal moves in a board-game engine.)