typed-minikanren (racket): An implementation of miniKanren in typed racket.
Keywords: miniKanren|typed-racket|minikanren|racket