The ftshell package

[Tags: program, public-domain]

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.


Versions0.2, 0.3,
Dependenciesbase (>=1.0 && <4), containers (>=, free-theorems (>= && <0.4), mtl (>=1.0), pretty (>=, Shellac (>=0.9), Shellac-readline (>=0.9)
AuthorSascha Boehme
CategoryLanguage, Source-tools
UploadedTue Oct 12 17:09:18 UTC 2010 by MatthiasBartsch
Downloads300 total (17 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]


Maintainers' corner

For package maintainers and hackage trustees