ambKanren

miniKanren based on amb

Build status: ok failing tests valid license

Download
Authors
Documentation
    Tags
    License
    Last updatedSaturday, August 16th, 2025 6:59:27am (UTC)
    Ring2
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/NoahStoryM/ambKanren.git#master63fc22138cf6f4a5c7c225abbef95542afac0840
    Last checkedMonday, August 18th, 2025 5:59:28pm (UTC)
    Last editedMonday, August 11th, 2025 7:54:04am (UTC)
    Date addedFriday, August 8th, 2025 10:20:11am (UTC)
    Modules
    • ambKanren/base.rkt
    • ambKanren/milli.rkt
    • ambKanren/micro.rkt
    • ambKanren/tests/trs2/main.rkt
    • ambKanren/tests/trs2/demo.rkt
    • ambKanren/main.rkt
    • ambKanren/types.rkt
    • ambKanren/demo.rkt
    • ambKanren/nano.rkt