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 & <4), containers (≥0.1.0.1), free-theorems (≥0.3.1.3 & <0.4), 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 | Tue Oct 12 17:09:18 UTC 2010 |
| Uploaded by | MatthiasBartsch |
Downloads
- ftshell-0.3.0.1.tar.gz (Cabal source package)
- package description (included in the package)