ats-benchmarks This is a repository for ATS benchmarks. Building You will need to install cargo, patscc, pats-filter, stack, GHC, and cabal. You can then run the benchmarks with: $ ./shake.hs bench