@hackage refinery0.2.0.0

Toolkit for building proof automation systems

Categories
License
BSD-3-Clause
Maintainer
reedmullanix@gmail.com
Links
Versions
- 0.4.0.0 Fri, 9 Apr 2021
- 0.3.0.0 Fri, 16 Oct 2020
- 0.2.0.0 Wed, 30 Sep 2020
- 0.1.0.0 Wed, 14 Aug 2019

Installation
In your cabal file:
Dependencies (5)
- base >=4.7 && <5
- mtl >=2
- exceptions >=0.10
- logict >=0.6
- mmorph >=1
Dependents (2)
@hackage/string-variants, @hackage/hls-tactics-plugin

Please see the README on GitHub at https://github.com/githubuser/refinery#readme