@hackage / refinery

Toolkit for building proof automation systems

0.4.0.0

Dependents

@hackage / hls-tactics-plugin Wingman plugin for Haskell Language Server
- Version: 2.2.0.0
- Last uploaded: 2 years ago
- License: Apache-2.0
@hackage / string-variants Constrained text newtypes
- Version: 0.3.1.3
- Last uploaded: 6 months ago
- License: MIT