The ftshell package
The ftshell is a shell-based user interface to interact with the free-theorems library. It offers all possibilities provided by that library to generate free theorems from Haskell type expressions.
Properties
| Versions | 0.2, 0.3, 0.3.0.1 |
|---|---|
| Dependencies | base (≥1.0), containers (≥0.1.0.1), free-theorems (≥0.3), mtl (≥1.0), pretty (≥1.0.0.0), Shellac (≥0.9), Shellac-readline (≥0.9) |
| License | PublicDomain |
| Author | Sascha Boehme |
| Maintainer | voigt@tcs.inf.tu-dresden.de |
| Category | Language, Source-tools |
| Executables | ftshell |
| Upload date | Fri Oct 17 14:21:09 UTC 2008 |
| Uploaded by | JoachimBreitner |
| Build failure | ghc-6.8 (log) |
Downloads
- ftshell-0.3.tar.gz (Cabal source package)
- package description (included in the package)