Skip to content
<awesome-gh-repos>
vic

wenkokke/idris-sesh

Session types in Idris2!
Source code at GitHub null
wenkokke/idris-sesh.json
{
  "createdAt": "2020-12-10T09:28:08Z",
  "defaultBranch": "dev",
  "description": "Session types in Idris2!",
  "fullName": "wenkokke/idris-sesh",
  "homepage": null,
  "language": "Idris",
  "name": "idris-sesh",
  "pushedAt": "2020-12-14T20:35:03Z",
  "stargazersCount": 27,
  "topics": [],
  "updatedAt": "2024-11-05T00:06:54Z",
  "url": "https://github.com/wenkokke/idris-sesh"
}

404: Not Found