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

UlfNorell/insane

Toy typechecker for Insanely Dependent Types
Source code at GitHub null
UlfNorell/insane.json
{
  "createdAt": "2013-09-10T09:28:58Z",
  "defaultBranch": "master",
  "description": "Toy typechecker for Insanely Dependent Types",
  "fullName": "UlfNorell/insane",
  "homepage": null,
  "language": "Haskell",
  "name": "insane",
  "pushedAt": "2025-10-15T06:54:13Z",
  "stargazersCount": 82,
  "topics": [],
  "updatedAt": "2025-10-16T00:39:26Z",
  "url": "https://github.com/UlfNorell/insane"
}

404: Not Found