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 updatedSaturday, July 10th, 2021 5:29:17pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/michaelballantyne/minikanren-ee.git229d5b749fa881d97ae75eacc42646686a0cc7c5
Last checkedMonday, August 2nd, 2021 4:29:25am (UTC)
Last editedFriday, June 21st, 2019 7:55:29pm (UTC)
Date addedFriday, June 21st, 2019 7:55:29pm (UTC)
Modules
  • minikanren-ee/private/syntax-classes.rkt
  • minikanren-ee/main.rkt
  • minikanren-ee/private/compile.rkt
  • minikanren-ee/private/env-rep.rkt
  • minikanren-ee/test/oopsla-artifact/minikanren-macro.rkt
  • minikanren-ee/private/expand.rkt
  • minikanren-ee/core.rkt
  • minikanren-ee/private/forms.rkt
  • minikanren-ee/test/test1.rkt
  • minikanren-ee/test/oopsla-artifact/minikanren.rkt
  • minikanren-ee/test/oopsla-artifact/minikanren-program-transformation.rkt
  • minikanren-ee/test/oopsla-artifact/minikanren-compile-time-errors.rkt
  • minikanren-ee/test/test2.rkt
  • minikanren-ee/private/runtime.rkt
  • minikanren-ee/private/interface-macros.rkt