cakeml
cakeml copied to clipboard
Create a benchmark suite
As stated in the title. The plan is to port over benchmarks from ocaml/sandmark and haskell/nofib. The benchmarks will be stored in a separate repository under the cakeml namespace.