The latest version of th-alpha is 0.2.1.0-0.
th-alpha
Version 0.1.0.0 revision 0 uploaded by jkarni.
Package meta
- Synopsis
- Alpha equivalence for TH Dec and Exp
- Description
- Author
- Julian K. Arni
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- jkarni@gmail.com
- Package URL
- n/a
- Stability
- n/a