3 ms·Equational reasoning like it is presented in the paper is alive and well in the Haskell community.by mej10 10y agoEquational reasoning like it is presented in the paper is alive and well in the Haskell community.