The latest version of unbound is 0.5.1.1-0.
lib:unbound
Modules
- Unbound.LocallyNameless
- Unbound.LocallyNameless.Alpha
- Unbound.LocallyNameless.Fresh
- Unbound.LocallyNameless.Name
- Unbound.LocallyNameless.Ops
- Unbound.LocallyNameless.Subst
- Unbound.LocallyNameless.Types
- Unbound.Nominal
- Unbound.Nominal.Internal
- Unbound.Nominal.Name
- Unbound.PermM
- Unbound.Util
Dependencies
- RepLib lib:RepLib >=0.4.0
- base lib:base >=4.3 && <5
- containers lib:containers >=0.3 && <0.5
- mtl lib:mtl >=2.0 && <2.1
- transformers lib:transformers >=0.2.2.0 && <0.2.3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- tal lib:tal