haskell-rewriting/term-rewriting — pull request #5 by hajile (2014-02-28 00:46:05+00:00)
Title: PREVIEW: added simple Knuth-Bendix completion algorithm

This isn't ready yet, but could you please drop a couple of lines on how it should be organized if it isn't ok the way I've done it