ftshell

Release 0.3.0.1

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.

Hackage Download

Keywords
program, public-domain, source-tools, Propose Tags, Skip to Readme, , ftshell-0.3.0.1.tar.gz, browse, Package description, Package maintainers, JanisVoigtlaender, JoachimBreitner, MatthiasBartsch, edit package information
License
Other
Install
cabal install ftshell-0.3.0.1

Stats

Dependent repositories
0
Total releases
3
Latest release
First release
SourceRank
4

Releases

0.2
0.3
0.3.0.1

Login to resync this project