String rewriting and Knuth-Bendix completion in Haskellhaskellformaths.blogspot.com10 points·mahipal··0 commentsOpen articleSaveView on HN