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, April 29th, 2022 5:43:44pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      7.9https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7477b3d6969b7b001f5284487259745ee6b03f44d
      7.8https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7477b3d6969b7b001f5284487259745ee6b03f44d
      defaulthttps://github.com/michaelballantyne/minikanren-ee.gitf8e8e45fb1db72eefc91af327e93be02a7cd1324
      8.2https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7477b3d6969b7b001f5284487259745ee6b03f44d
      8.0https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7477b3d6969b7b001f5284487259745ee6b03f44d
      8.1https://github.com/michaelballantyne/minikanren-ee.git#pre-8.2.0.7477b3d6969b7b001f5284487259745ee6b03f44d
      Last checkedTuesday, October 4th, 2022 3:35:56pm (UTC)
      Last editedMonday, August 9th, 2021 6:17:24pm (UTC)
      Date addedFriday, June 21st, 2019 7:55:29pm (UTC)
      Modules
      • minikanren-ee/main.rkt
      • minikanren-ee/private/syntax-classes.rkt
      • minikanren-ee/private/forms.rkt
      • minikanren-ee/test/local.rkt
      • minikanren-ee/private/env-rep.rkt
      • minikanren-ee/test/oopsla-artifact/minikanren-program-transformation.rkt
      • minikanren-ee/test/oopsla-artifact/minikanren.rkt
      • minikanren-ee/mk/full-interp.rkt
      • minikanren-ee/mk/matche.rkt
      • minikanren-ee/test/test2.rkt
      • minikanren-ee/test/oopsla-artifact/minikanren-compile-time-errors.rkt
      • minikanren-ee/test/interposition.rkt
      • minikanren-ee/core.rkt
      • minikanren-ee/private/compile.rkt
      • minikanren-ee/test/oopsla-artifact/minikanren-macro.rkt
      • minikanren-ee/private/interface-macros.rkt
      • minikanren-ee/mk/numbers.rkt
      • minikanren-ee/private/expand.rkt
      • minikanren-ee/mk/main.rkt
      • minikanren-ee/private/runtime.rkt
      • minikanren-ee/mk/simple-interp.rkt
      • minikanren-ee/mk/mk.rkt
      • minikanren-ee/test/test1.rkt