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

astump/cedille-core-spec

Specification of the Cedille Core language
Source code at GitHub null
astump/cedille-core-spec.json
{
  "createdAt": "2018-03-26T03:09:34Z",
  "defaultBranch": "master",
  "description": "Specification of the Cedille Core language",
  "fullName": "astump/cedille-core-spec",
  "homepage": null,
  "language": "TeX",
  "name": "cedille-core-spec",
  "pushedAt": "2020-07-21T04:02:39Z",
  "stargazersCount": 34,
  "topics": [],
  "updatedAt": "2025-10-28T18:40:43Z",
  "url": "https://github.com/astump/cedille-core-spec"
}

cedille-core-spec

Section titled “cedille-core-spec”

Specification of the Cedille Core language