The latest version of debruijn is 0.2-0.
debruijn
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 "unsafe" (as it uses unsafeCoerce) implementation, but it's fast. The API is the same as in
debruin-safepackage.- 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