Resolve "DP transform: make "guard $ not $ Q.isStrictSuffixOf r' $ lhs u" on/offable" (!17) · Merge requests · waldmann / Matchbox SRS Termination · GitLab

waldmann requested to merge 328-dp-transform-make-guard-not-q-isstrictsuffixof-r-lhs-u-on-offable into master Apr 30, 2021

Closes #328 (closed)

Edited May 04, 2021 by waldmann