Agda-style equational reasoning in Haskell
Why do you think that https://github.com/bgamari/optimization is a good alternative to equational-reasoning
Agda-style equational reasoning in Haskell
Why do you think that https://github.com/bgamari/optimization is a good alternative to equational-reasoning