binder: Variable binding for abstract syntax tree

[ data, library, mit ] [ Propose Tags ]

binder is purely functional implementation of Ocaml's bindlib. It follows the style of higher-order abstract syntax, and offers the representation of abstract syntax tree.


[Index] [Quick Jump]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.1, 0.2, 0.2.1, 0.3
Change log
Dependencies base (<4.19), containers (<0.8), lens (<5.3), text (<2.2), transformers (<0.7) [details]
License MIT
Copyright (c) 2023 Keito Kajitani
Author Keito Kajitani <>
Maintainer Keito Kajitani <>
Category Data
Home page
Source repo head: git clone
this: git clone v0.3)
Uploaded by ijaketak at 2023-10-09T01:45:22Z
Distributions NixOS:0.3
Downloads 23 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-10-09 [all 1 reports]