Skip to content
<awesome-gh-repos>
vic

ericfinster/minitt

An implementation of MiniTT in Scala
Source code at GitHub null
ericfinster/minitt.json
{
  "createdAt": "2015-09-24T13:46:37Z",
  "defaultBranch": "master",
  "description": "An implementation of MiniTT in Scala",
  "fullName": "ericfinster/minitt",
  "homepage": null,
  "language": "Haskell",
  "name": "minitt",
  "pushedAt": "2015-09-24T13:52:25Z",
  "stargazersCount": 8,
  "topics": [],
  "updatedAt": "2021-12-17T14:10:42Z",
  "url": "https://github.com/ericfinster/minitt"
}

minitt

Section titled “minitt”

An implementation of MiniTT in Scala