Skip to content

miniKanren/simple-miniKanren

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 

simple-miniKanren

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

This is essentially a modernized, cleaned up version of the implementation in The Reasoned Schemer.

About

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages