The latest version of debruijn-safe is 0.2-0.
debruijn-safe
Version 0.1 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