typed-minikanren

An implementation of miniKanren in typed racket.

Build status: ok dependency problems failing tests

Authors
Documentation
Tags
Last updatedFriday, December 4th, 2020 10:10:30pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dalev/minikanren-typed-racket.git#release9cf4deb8a45ab8b0cf2d09b87c6774d58e465927
Last checkedMonday, January 18th, 2021 4:40:40am (UTC)
Last editedFriday, December 4th, 2020 9:17:55pm (UTC)
Date addedFriday, December 4th, 2020 9:17:55pm (UTC)
Modules
  • typed-minikanren/main.rkt
  • typed-minikanren/src/term.rkt
  • typed-minikanren/test/zebra.rkt
  • typed-minikanren/src/dual-continuation.rkt
  • typed-minikanren/src/skew-bral.rkt