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.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 15 years ago
0.3.0.1
over 15 years ago
Versions
3
3
Downloads
2,725 total
2,725 total
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/ftshell
spec |
| License | Other |
| First Release | about 18 years ago |
| Last Synced | 22 days ago |