michaelballantyne/minikanren-odds-and-ends
miniKanren things worth archiving but that don't constitute a complete project
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
miniKanren things worth archiving but that don't constitute a complete project
A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
Programs that are quines in the miniKanren relational programming language
A module language for programming with multiple named scopes, orthogonal to lexical nesting.