The latest version of debruijn-safe is 0.2-0.
lib:debruijn-safe
Modules
- DeBruijn
- DeBruijn.Add
- DeBruijn.Ctx
- DeBruijn.Env
- DeBruijn.Idx
- DeBruijn.Lte
- DeBruijn.Lvl
- DeBruijn.Ren
- DeBruijn.Size
- DeBruijn.Sub
- DeBruijn.Wk
Dependencies
- base lib:base ^>=4.16.3.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0
- deepseq lib:deepseq ^>=1.4.6.1 || ^>=1.5.0.0
- fin lib:fin ^>=0.3
- some lib:some ^>=1.0.5
Reverse dependencies
None.