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

ekmett/bound

Combinators for manipulating locally-nameless generalized de Bruijn terms
Source code at GitHub https://www.schoolofhaskell.com/user/edwardk/bound
ekmett/bound.json
{
  "createdAt": "2012-06-16T00:36:20Z",
  "defaultBranch": "master",
  "description": "Combinators for manipulating locally-nameless generalized de Bruijn terms",
  "fullName": "ekmett/bound",
  "homepage": "https://www.schoolofhaskell.com/user/edwardk/bound",
  "language": "Haskell",
  "name": "bound",
  "pushedAt": "2026-01-23T15:19:44Z",
  "stargazersCount": 129,
  "topics": [],
  "updatedAt": "2026-03-17T14:04:49Z",
  "url": "https://github.com/ekmett/bound"
}

404: Not Found