typed-minikanren

An implementation of miniKanren in typed racket.

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, May 3rd, 2021 8:32:43pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/dalev/minikanren-typed-racket.git#release83262e26f03581c99a072db03dfbafb1ab9401f2
Last checkedSaturday, July 24th, 2021 10:45:23pm (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