Robuta

https://www.stackage.org/lts-20.12/package/equational-reasoning-0.7.0.1 equational-reasoning :: Stackage Server equational reasoningstackageserver