Skip to content
<awesome-gh-repos>
vic

webyrd/curnelo

Cur dependently-typed language in miniKanren.
Source code at GitHub null
webyrd/curnelo.json
{
  "createdAt": "2017-09-09T02:16:17Z",
  "defaultBranch": "master",
  "description": "Cur dependently-typed language in miniKanren.",
  "fullName": "webyrd/curnelo",
  "homepage": null,
  "language": "Scheme",
  "name": "curnelo",
  "pushedAt": "2018-01-26T21:20:25Z",
  "stargazersCount": 17,
  "topics": [],
  "updatedAt": "2023-02-11T13:39:16Z",
  "url": "https://github.com/webyrd/curnelo"
}

curnelo

Section titled “curnelo”

Cur dependently-typed programming language, implemented in miniKanren.

Code by William J. Bowman, Michael Ballantyne, and Will Byrd.

TODO: fix application line of typo; update README; extend to handle interesting subset of Cur.