@hackage debruijn0.1

de Bruijn indices and levels

Categories
- Development
License
BSD-3-Clause
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>
Links
Versions
- 0.1 Tue, 13 Feb 2024

de Bruijn indices and levels for well-scoped terms.

This is "unsafe" (as it uses unsafeCoerce) implementation, but it's fast. The API is the same as in debruin-safe package.

Installation
In your cabal file:
Tested Compilers
Dependencies (6)
- base ^>=4.16.3.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0
- deepseq ^>=1.4.6.1 || ^>=1.5.0.0
- transformers ^>=0.5.6.2 || ^>=0.6.1.0
- fin ^>=0.3
- skew-list ^>=0.1
- some ^>=1.0.5
Dependents (0)