Skip to content
<awesome-gh-repos>
vic

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": "2024-08-02T15:21:41Z",
  "stargazersCount": 126,
  "topics": [],
  "updatedAt": "2025-11-15T11:29:48Z",
  "url": "https://github.com/ekmett/bound"
}

404: Not Found