The latest version of ftshell is 0.3.0.1-0.
ftshell
Version 0.2 revision 0 uploaded by JanisVoigtlaender.
Package meta
- Synopsis
- Shell interface to the FreeTheorems library.
- Description
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.
- Author
- Sascha Boehme
- Bug reports
- n/a
- Category
- Language, Source-tools
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- voigt@tcs.inf.tu-dresden.de
- Package URL
- n/a
- Stability
- n/a