Simple python3 implementation of microKanren with lots of type annotations for clarity
Why do you think that https://github.com/stassa/wh40ksim is a good alternative to microKanren-py
Simple python3 implementation of microKanren with lots of type annotations for clarity
Why do you think that https://github.com/stassa/wh40ksim is a good alternative to microKanren-py