@hackage / free-theorems

Automatic generation of free theorems.

0.3.2.1

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / free-theorems-counterexamples Automatically Generating Counterexamples to Naive Free Theorems
- Version: 0.3.1.0
- Last uploaded: 13 years ago
- License: LicenseRef-PublicDomain
@hackage / free-theorems-seq Taming Selective Strictness
- Version: 1.0
- Last uploaded: 15 years ago
- License: LicenseRef-PublicDomain
@hackage / free-theorems-webui CGI-based web interface for the free-theorems package.
- Version: 0.2.1.1
- Last uploaded: 13 years ago
- License: LicenseRef-PublicDomain
@hackage / ftshell Shell interface to the FreeTheorems library.
- Version: 0.3.0.1
- Last uploaded: 15 years ago
- License: LicenseRef-PublicDomain
@hackage / polyseq Taming Selective Strictness
- Version: 0.1.2.1
- Last uploaded: 15 years ago
- License: LicenseRef-PublicDomain