AHartNtkn/Dependent-Binary-Lambda-Calculus

---

AHartNtkn/Dependent-Binary-Lambda-Calculus.json

{
  "createdAt": "2017-07-31T02:09:58Z",
  "defaultBranch": "master",
  "description": "A Dependently Typed Esolang",
  "fullName": "AHartNtkn/Dependent-Binary-Lambda-Calculus",
  "homepage": null,
  "language": "Haskell",
  "name": "Dependent-Binary-Lambda-Calculus",
  "pushedAt": "2017-08-04T18:35:51Z",
  "stargazersCount": 10,
  "topics": [],
  "updatedAt": "2024-03-10T08:54:45Z",
  "url": "https://github.com/AHartNtkn/Dependent-Binary-Lambda-Calculus"
}

Dependently Typed Binary Lambda Calculus

This is an implementation of a modification of Binary Lambda Calculus which adds dependent types.

See here for more information.

Authors

Anthony Hart