The latest version of bound is 2.0.7-2.
bound
Version 0.1 revision 0 uploaded by EdwardKmett.
Package meta
- Synopsis
- Combinators for manipulating locally-nameless generalized de Bruijn terms
- Description
Combinators for manipulating locally-nameless generalized de Bruijn terms
- Author
- Edward A. Kmett
- Bug reports
- http://github.com/ekmett/bound/issues
- Category
- Language, Compilers/Interpreters
- Copyright
- Copyright (C) 2012 Edward A. Kmett
- Homepage
- http://github.com/ekmett/bound/
- Maintainer
- Edward A. Kmett <ekmett@gmail.com>
- Package URL
- n/a
- Stability
- experimental