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

succeeds3

mk

This package needs a description

This package needs documentation

succeeds3

typed-minikanren

An implementation of miniKanren in typed racket.

This package needs documentation

succeeds3

zKanren

-

Docs:
succeeds; has dependency problems0