@hackage debruijn-safe0.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

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- 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
- fin ^>=0.3
- some ^>=1.0.5
Dependents (0)

de Bruijn indices and levels for well-scoped terms.

This is "safe", but slow implementation.