README.md

RaTRS

Partial implementation of the resource analysis from Multivariate Amortised Resource Analysis for Term Rewrite Systems

Build

• stack build
• stack test
• stack haddock --open
• stack exec trs