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 generate benchmark data with:

 $ ./shake.hs

and regenerate the data with:

 $ ./shake.hs --rebuild

You can benchmark a specific task with one of:

 $ ./shake.hs collatz
 $ ./shake.hs fib
 $ ./shake.hs fact
 $ ./shake.hs derangement