minikanren

A Planet 2 package for minikanren

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, September 20th, 2021 8:28:08pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgithub://github.com/takikawa/minikanren/master34ca4936f0df0ca07c5869ef95ed10f82b9a879f
Last checkedTuesday, October 19th, 2021 1:55:34am (UTC)
Last editedTuesday, January 22nd, 2013 8:36:47pm (UTC)
Date addedN/A
Modules
  • minikanren/minikanren.rkt
  • minikanren/minikanren.scrbl
  • minikanren/main.rkt