Skip to content
<awesome-gh-repos>
vic

david-christiansen/tiny-dependent-types

A very simple implementation of a little dependently typed language
Source code at GitHub null
david-christiansen/tiny-dependent-types.json
{
  "createdAt": "2012-08-02T08:59:12Z",
  "defaultBranch": "master",
  "description": "A very simple implementation of a little dependently typed language",
  "fullName": "david-christiansen/tiny-dependent-types",
  "homepage": null,
  "language": "F#",
  "name": "tiny-dependent-types",
  "pushedAt": "2012-08-30T15:07:12Z",
  "stargazersCount": 11,
  "topics": [],
  "updatedAt": "2024-10-20T14:34:27Z",
  "url": "https://github.com/david-christiansen/tiny-dependent-types"
}

404: Not Found