A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Primary LanguageSchemeMIT LicenseMIT