@hackage / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

1.0.1

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / hermit-syb HERMIT plugin for optimizing Scrap-Your-Boilerplate traversals.
- Version: 0.1.0.0
- Last uploaded: 12 years ago
- License: BSD-3-Clause