Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

webyrd/templateo

Experimenting with cKanren's new `templateo` constraint
Source code at GitHub null
webyrd/templateo.json
{
  "createdAt": "2013-05-31T06:10:23Z",
  "defaultBranch": "master",
  "description": "Experimenting with cKanren's new `templateo` constraint",
  "fullName": "webyrd/templateo",
  "homepage": null,
  "language": "Racket",
  "name": "templateo",
  "pushedAt": "2013-07-25T18:13:06Z",
  "stargazersCount": 2,
  "topics": [],
  "updatedAt": "2021-07-11T19:13:29Z",
  "url": "https://github.com/webyrd/templateo"
}

templateo

Section titled “templateo”

Experimenting with cKanren’s new templateo constraint, which is essentially a lazy, declarative version of Prolog’s copy_term/2.