ftshell: Shell interface to the FreeTheorems library.
[ language, program, public-domain, source-tools ] [ Propose Tags ]
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.
[Skip to Readme]
- ftshell-0.3.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees
- No Candidates
|Versions [RSS]||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 (>=18.104.22.168), Shellac (>=0.9), Shellac-readline (>=0.9) [details]|
|Uploaded||by MatthiasBartsch at 2010-10-12T17:09:18Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||2550 total (8 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 5 reports]