A
accompll
A tool performing AC-completion for left-linear TRSs written in Haskell.
Until further notice: Mailroom does not work. Replies to git-generated emails will be silently ignored!
A tool performing AC-completion for left-linear TRSs written in Haskell.