Skip to content
<awesome-gh-repos>
vic

plt-amy/mld

An experiment in compositional typings
Source code at GitHub null
plt-amy/mld.json
{
  "createdAt": "2019-01-29T04:33:09Z",
  "defaultBranch": "master",
  "description": "An experiment in compositional typings",
  "fullName": "plt-amy/mld",
  "homepage": null,
  "language": "Haskell",
  "name": "mld",
  "pushedAt": "2019-04-07T01:44:53Z",
  "stargazersCount": 10,
  "topics": [],
  "updatedAt": "2024-07-03T10:59:42Z",
  "url": "https://github.com/plt-amy/mld"
}

MLΔ

Section titled “MLΔ”

An experiment in compositional typing.