Add benchmark results to repo #3
Description
It'd be great to include the benchmark results html page produced by criterion (with occasional updates after any performance improvements or new GHC versions).
{{ message }}
It'd be great to include the benchmark results html page produced by criterion (with occasional updates after any performance improvements or new GHC versions).