@hackage / ghc-proofs

GHC plugin to prove program equations by simplification

0.1.1

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / generic-lens Generically derive traversals, lenses and prisms.
- Version: 2.3.0.0
- Last uploaded: 11 months ago
- License: BSD-3-Clause