minikanren

A Planet 2 package for minikanren

Build status: ok passing tests missing license metadata

Documentation README Code
Authors
Documentation
Tags
License
    Last updatedWednesday, July 5th, 2023 5:33:40pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgithub://github.com/takikawa/minikanren/master51a18cf82834fb1af7a0dc41af4b7894099a3d05
    Last checkedTuesday, July 1st, 2025 6:55:20pm (UTC)
    Last editedTuesday, January 22nd, 2013 8:36:47pm (UTC)
    Date addedN/A
    Modules
    • minikanren/main.rkt
    • minikanren/minikanren.scrbl
    • minikanren/minikanren.rkt