typed-minikanren

An implementation of miniKanren in typed racket.

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Language familiesRacket
      Last updatedMonday, May 3rd, 2021 8:32:43pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Build platformsany platform
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/dalev/minikanren-typed-racket.git#release83262e26f03581c99a072db03dfbafb1ab9401f2
      Last checkedSunday, August 2nd, 2026 9:32:55pm (UTC)
      Last editedFriday, December 4th, 2020 9:17:55pm (UTC)
      Date addedFriday, December 4th, 2020 9:17:55pm (UTC)
      Modules
      • typed-minikanren/test/zebra.rkt
      • typed-minikanren/src/dual-continuation.rkt
      • typed-minikanren/src/skew-bral.rkt
      • typed-minikanren/main.rkt
      • typed-minikanren/src/term.rkt