Skip to content

bodil/microkanrens

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

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

µKanrens

Implementations of µKanren in assorted languages. No guarantee is made as to their completeness or correctness.

Read the paper.

License

Copyright 2015 Bodil Stokke

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses.

About

Implementations of µKanren in assorted languages

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published