The ltl package
TODO
Properties
| Version | 0.0.0 |
|---|---|
| Dependencies | base (≥4.2 & <5), vcd (≥0.1) |
| License | BSD3 |
| Author | Tom Hawkins <tomahawkins@gmail.com> |
| Maintainer | Tom Hawkins <tomahawkins@gmail.com> |
| Category | Language |
| Home page | http://tomahawkins.org |
| Source repository | git clone git://github.com/tomahawkins/ltl.git |
| Upload date | Mon Apr 19 03:59:04 UTC 2010 |
| Uploaded by | TomHawkins |
| Built on | ghc-6.12, ghc-7.0 |
Modules
- Language
Downloads
- ltl-0.0.0.tar.gz (Cabal source package)
- package description (included in the package)