ftshell: Shell interface to the FreeTheorems library.
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]
|Versions [faq]||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 Tue Oct 12 17:09:18 UTC 2010|
|Downloads||1391 total (40 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 5 reports]
For package maintainers and hackage trustees