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