Search Package Index

4 packages found

 PackageDescriptionBuild 

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.

This package needs documentation

This package needs license metadata

succeeds4

mk

This package needs a description

This package needs documentation

This package needs license metadata

succeeds4

typed-minikanren

An implementation of miniKanren in typed racket.

This package needs documentation

This package needs license metadata

succeeds4

zKanren

-

Docs:

This package needs license metadata

succeeds; has dependency problems2