Closed iacore closed 1 year ago
This is alright, but the latest development is done in the branch https://github.com/namin/staged-miniKanren/tree/multistage-interp and we do use a submodule over there. I encourage you to check out this branch. It is racket only however.
Thanks for your interest.
This is alright, but the latest development is done in the branch https://github.com/namin/staged-miniKanren/tree/multistage-interp and we do use a submodule over there. I encourage you to check out this branch. It is racket only however.
Thanks for your interest.