Skip to content
<awesome-gh-repos>
vic

idris-hackers/idris-lens

null
Source code at GitHub null
idris-hackers/idris-lens.json
{
  "createdAt": "2014-09-25T01:44:14Z",
  "defaultBranch": "master",
  "description": null,
  "fullName": "idris-hackers/idris-lens",
  "homepage": null,
  "language": "Idris",
  "name": "idris-lens",
  "pushedAt": "2016-09-30T04:03:48Z",
  "stargazersCount": 23,
  "topics": [],
  "updatedAt": "2025-05-03T07:18:46Z",
  "url": "https://github.com/idris-hackers/idris-lens"
}

404: Not Found