hackage.haskell.org : ftshell
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.
Registry
- JSON
- codemeta.json
purl: pkg:hackage/ftshell
Keywords:
language
, program
, public-domain
, source-tools
, Propose Tags
License: Other
Latest release: over 15 years ago
First release: almost 18 years ago
Downloads: 2,708 total
Last synced: about 1 month ago
Loading...
Readme
Loading...