debruijn

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 "unsafe" (as it uses unsafeCoerce) implementation, but it's fast. The API is the same as in debruin-safe package.

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

Components