A

accompll

Project information

A tool performing AC-completion for left-linear TRSs written in Haskell.

39 Commits
1 Branch
0 Tags

README

Created on

July 20, 2022

Loading