minikanren-ee

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

Build status: ok passing tests

Download
Authors
Documentation
    Tags
      Last updatedFriday, May 22nd, 2020 9:58:35pm (UTC)
      Ring2
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/michaelballantyne/minikanren-ee.gite07c2b99cb3a49fd624bb8249a16879ff23a4f8c
      Last checkedMonday, June 1st, 2020 2:10:54am (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/main.rkt
      • minikanren-ee/test/test1.rkt
      • minikanren-ee/core.rkt
      • minikanren-ee/syntax-classes.rkt