faster-minikanren

A fast implementation of miniKanren with disequality and absento.

Build status: ok passing tests missing license metadata

Authors
Documentation
Tags
License
Last updatedFriday, June 7th, 2024 6:02:03pm (UTC)
Ring2
Conflicts
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/michaelballantyne/faster-miniKanren6b701a2d84e71992546e412dec7a216fb5301e05
Last checkedFriday, June 14th, 2024 5:02:13pm (UTC)
Last editedSunday, September 25th, 2016 4:05:35am (UTC)
Date addedN/A
Modules
  • minikanren/main.rkt
  • minikanren/mk.rkt
  • minikanren/simple-interp.rkt
  • minikanren/private-unstable.rkt
  • minikanren/numbers.rkt
  • minikanren/full-interp.rkt
  • minikanren/matche.rkt