GitHub repository: michaelballantyne/faster-miniKanren
Primary language: Scheme
Created: 2015-06-09T21:15:06Z
Description: A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.