faster-minikanren

A fast implementation of miniKanren with disequality and absento.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, February 5th, 2018 3:16:52pm (UTC)
Ring2
Conflicts
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaultgit://github.com/michaelballantyne/faster-miniKanren10abd1142603b55e4d6de7ccdebf77639b84a274
Last checkedFriday, September 21st, 2018 12:55:47pm (UTC)
Last editedSunday, September 25th, 2016 4:05:35am (UTC)
Modules
  • minikanren/matche.rkt
  • minikanren/full-interp.rkt
  • minikanren/simple-interp.rkt
  • minikanren/numbers.rkt
  • minikanren/mk.rkt
  • minikanren/main.rkt