minikanren

A Planet 2 package for minikanren

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, May 16th, 2015 3:19:22am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Versions
VersionSourceChecksum
defaultgithub://github.com/takikawa/minikanren/master659404d009e9cec9695805f4d4465447796a663a
Last checkedSunday, May 28th, 2017 10:07:19pm (UTC)
Last editedTuesday, January 22nd, 2013 8:36:47pm (UTC)
Modules
  • minikanren/minikanren.rkt
  • minikanren/main.rkt
  • minikanren/minikanren.scrbl