v2.2.0

• メモリが尽きないように修正

v2.1.1

• replに入力できる式の形式を改善

v2.1.0

• コマンドラインから完備化処理をバッチ実行できるよう実装

v2.0.0

• Knuth-Bendixの完備化アルゴリズムの実装

v1.0.0

v1.0.0