jmtd → log → type design → commenting on equivalence Tagged phd haskell Name: (optional) Website: (optional) Comment: