Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)
A module language for programming with multiple named scopes, orthogonal to lexical nesting.
A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
Pure miniKanren with fair conjunction by iterative distribution and reduction
205 contributions in the last year
Created a pull request in racket/racket that received 12 comments
This PR aims to fix a bug with use-site scopes when
local-expand is used with the
'expression context. My fix also required relaxing the contract of