GitHub - momohatt/egison-trs: Knuth-Bendix completion in Egison (and Haskell). 技術書典7

Knuth-Bendix completion in Egison (and Haskell). 技術書典7 - momohatt/egison-trs
github.com github.com