Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pkgs.racket-lang.org : icfp2017-minikanren

A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized.

Registry - Source - Documentation - JSON
purl: pkg:racket/icfp2017-minikanren
Keywords: logic, miniKanren
License: MIT
Latest release: 22 days ago
Stars: 1 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago

    Loading...
    Readme
    Loading...