debruijn-safe
Version 0.2 revision 0 uploaded by phadej.
Package meta
- Synopsis
- de Bruijn indices and levels
- Description
de Bruijn indices and levels for well-scoped terms.
This is "safe", but slow implementation.
- Author
- Oleg Grenrus <oleg.grenrus@iki.fi>
- Bug reports
- n/a
- Category
- Development
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Oleg Grenrus <oleg.grenrus@iki.fi>
- Package URL
- n/a
- Stability
- n/a