@hackage ftshell0.3.0.1

Shell interface to the FreeTheorems library.

Categories
License
LicenseRef-PublicDomain
Maintainer
voigt@tcs.inf.tu-dresden.de
Links
- Documentation
- No source repository
- Security
Versions
- 0.3.0.1 Tue, 12 Oct 2010
- 0.3 Fri, 17 Oct 2008
- 0.2 Thu, 28 Feb 2008

Installation
In your cabal file:
Dependencies (0)
- base >=1.0 && <4
- containers >=0.1.0.1
- mtl >=1.0
- Shellac >=0.9
- Shellac-readline >=0.9
- free-theorems >=0.3.1.3 && <0.4
Dependents (1)
@hackage/acme-everything

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 ftshell0.3.0.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)