momohatt/egison-trs

Knuth-Bendix completion in Egison (and Haskell). 技術書典7

语言：Haskell · GitHub 星标：7 · Fork：0

话题：egison

在 GitHub 上查看原仓库