minikanren-ee

An embedded expander wrapper around faster-minikanren, offering better error messages and some automatic program transformations

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, October 5th, 2020 6:33:45am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/michaelballantyne/minikanren-ee.git6ae77b5a66c965b7e3a2edd1d1eb3369e8b96d57
Last checkedSaturday, October 24th, 2020 6:43:36am (UTC)
Last editedFriday, June 21st, 2019 7:55:29pm (UTC)
Date addedFriday, June 21st, 2019 7:55:29pm (UTC)
Modules
  • minikanren-ee/test/test2.rkt
  • minikanren-ee/syntax-classes.rkt
  • minikanren-ee/test/test1.rkt
  • minikanren-ee/main.rkt
  • minikanren-ee/core.rkt