Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

jfdm/idris-testing

Testing Utilities for Idris programs.
Source code at GitHub null
jfdm/idris-testing.json
{
  "createdAt": "2015-08-11T16:39:50Z",
  "defaultBranch": "master",
  "description": "Testing Utilities for Idris programs.",
  "fullName": "jfdm/idris-testing",
  "homepage": null,
  "language": "Idris",
  "name": "idris-testing",
  "pushedAt": "2017-03-30T14:08:29Z",
  "stargazersCount": 8,
  "topics": [],
  "updatedAt": "2025-04-06T14:02:35Z",
  "url": "https://github.com/jfdm/idris-testing"
}

404: Not Found