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 [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 (>=22.214.171.124), Shellac (>=0.9), Shellac-readline (>=0.9) [details]|
|Uploaded||by MatthiasBartsch at 2010-10-12T17:09:18Z|
|Downloads||2490 total (1 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]