minikanren

A Planet 2 package for minikanren

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedSaturday, November 27th, 2021 10:30:41pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgithub://github.com/takikawa/minikanren/master34ca4936f0df0ca07c5869ef95ed10f82b9a879f
Last checkedFriday, October 7th, 2022 10:38:31pm (UTC)
Last editedTuesday, January 22nd, 2013 8:36:47pm (UTC)
Date addedN/A
Modules
  • minikanren/minikanren.rkt
  • minikanren/minikanren.scrbl
  • minikanren/main.rkt