minikanren

A Planet 2 package for minikanren

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:56:20pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgithub://github.com/takikawa/minikanren/master659404d009e9cec9695805f4d4465447796a663a
Last checkedWednesday, September 20th, 2017 5:29:49am (UTC)
Last editedTuesday, January 22nd, 2013 8:36:47pm (UTC)
Modules
  • minikanren/main.rkt
  • minikanren/minikanren.scrbl
  • minikanren/minikanren.rkt