refinery

refinery copied to clipboard

Lots of functions make sense in both tactics and rules, but currently it requires some jank to convert between the two monads. But everything is the same underneath the hood,...

isovector

Tactics can use alternative `empty`, but rules have no recourse. Suggest calling it `cut` and making it tactic/rule polymorphic.

isovector

Could you please add git tags for the versions released to Hackage?

1

I wanted to clone and checkout `0.2.0.0` (as uploaded to Hackage), and I had to read the commit history and guess which commit that might be. Creating tags when uploading...

LightAndLight

Hi @TOTBWF, PR #20 made `refinery` compatible with GHC 9.6. The last message in that thread suggested a new hackage release be made, but that never happened in the last...

Vekhir