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||0.2, 0.3, 0.3.0.1|
|Dependencies||base (>=1.0), containers (>=0.1.0.1), free-theorems (>=0.2), mtl (>=1.0), pretty (>=18.104.22.168), Shellac (>=0.9), Shellac-readline (>=0.9) [details]|
|Uploaded||by JanisVoigtlaender at Thu Feb 28 09:47:07 UTC 2008|
|Downloads||1200 total (7 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 7 reports]
Hackage Matrix CI
For package maintainers and hackage trustees