faster-minikanren

A fast implementation of miniKanren with disequality and absento.

Build status: ok passing tests

README Code
Authors
Documentation
    Tags
      Last updatedTuesday, May 11th, 2021 5:00:51pm (UTC)
      Ring2
      Conflicts
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaultgit://github.com/michaelballantyne/faster-miniKanren9b3f753599cbe45aa2205e98530ac3fbf4d74716
      Last checkedSunday, August 1st, 2021 6:09:38pm (UTC)
      Last editedSunday, September 25th, 2016 4:05:35am (UTC)
      Date addedN/A
      Modules
      • minikanren/full-interp.rkt
      • minikanren/simple-interp.rkt
      • minikanren/matche.rkt
      • minikanren/mk.rkt
      • minikanren/main.rkt
      • minikanren/numbers.rkt