Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

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

microKandris

A minimal version, up to section 4.2 of the paper, is implemented. Refer to the end of MicroKanren.idr for a couple working examples. There hasn't been any testing beyond that yet.

Search the source for TODO to see what features are missing, but planned.

About

microKanren in Idris

Resources

Releases

No releases published

Packages

No packages published

Languages