Stars
2
stars
written in Scheme
Clear filter
a lightweight, robust, scheme-like lisp implementation
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.