An implementation of miniKanren in typed racket. | |
https://github.com/dalev/minikanren-typed-racket | |
typed-minikanren-9999 | all-rights-reserved |
download | racket-overlay |
typed-minikanren-0_p20210503 | all-rights-reserved |
download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |