Skip to content
<awesome-gh-repos>
vic

webyrd/mk-cps

Explorations of Continuation-Passing Style in miniKanren
Source code at GitHub null
webyrd/mk-cps.json
{
  "createdAt": "2013-07-16T19:10:21Z",
  "defaultBranch": "master",
  "description": "Explorations of Continuation-Passing Style in miniKanren",
  "fullName": "webyrd/mk-cps",
  "homepage": null,
  "language": "Scheme",
  "name": "mk-cps",
  "pushedAt": "2013-07-18T05:17:35Z",
  "stargazersCount": 4,
  "topics": [],
  "updatedAt": "2024-01-27T20:10:54Z",
  "url": "https://github.com/webyrd/mk-cps"
}

mk-cps

Section titled “mk-cps”

Explorations of Continuation-Passing Style in miniKanren.

The directory cps-in-mk contains the result of translating (direct-style) Scheme code into miniKanren, then CPSing the miniKanren code.

The directory cps-in-scheme contains the result of CPSing Scheme code, then translating the CPSed code into miniKanren.

To run all the tests in a directory, run in Scheme:

(load "all-tests.scm")